SPECIFICATION AND IMPLEMENTATION OF GKS APPLICATION SOFTWARE IN ADA (R).

被引:0
|
作者
Mac an Airchinnigh, M. [1 ]
机构
[1] Univ of Dublin, Dep of Computer, Science, Dublin, Irel, Univ of Dublin, Dep of Computer Science, Dublin, Irel
关键词
ABSTRACT DATA TYPE - ADA PROGRAMMING LANGUAGE - ADA SOFTWARE METHODOLOGY - GRAPHICAL KERNEL SYSTEM (GKS) - USER'S CONCEPTUAL MODEL;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:153 / 167
相关论文
共 50 条
  • [31] Specification and Implementation of Open Source Software Suite for Realizing Communication Intelligence
    Matsusaka, Yosuke
    Asoh, Hideki
    Hara, Isao
    Asano, Futoshi
    JOURNAL OF ROBOTICS AND MECHATRONICS, 2012, 24 (01) : 86 - 94
  • [32] Class specification implementation graphs and their application in regression testing
    Beydeda, S
    Gruhn, V
    26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 835 - 840
  • [33] Implementation specification for software process improvement supportive knowledge management tool
    Alagarsamy, K.
    Justus, S.
    Lyakutte, K.
    IET SOFTWARE, 2008, 2 (02) : 123 - 133
  • [34] FORMAL SPECIFICATION, VALIDATION AND IMPLEMENTATION OF AN APPLICATION PROTOCOL WITH ESTELLE
    NGUYEN, CT
    HUNEL, P
    VIALATTE, MC
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 361 - 376
  • [35] REALIZATION AND APPLICATION OF AN INTELLIGENT GKS WORKSTATION
    SPIERS, RG
    IEEE COMPUTER GRAPHICS AND APPLICATIONS, 1986, 6 (05) : 58 - 65
  • [36] An application (Layer 7) routing switch with Ada95 software
    Kamrad, M
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 250 - 262
  • [38] The Implementation of the Ariel FGS Application Software
    Mosenlechner, Gerald
    Ottensamer, Roland
    Kerschbaum, Franz
    Luntzer, Armin
    Mecina, Marko
    Rataj, Miroslaw
    Skup, Konrad
    Ber, Kamil
    SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY VIII, 2024, 13101
  • [39] An Implementation of the Viewing Pipeline in GKS-3D
    吴恩华
    Journal of Computer Science and Technology, 1988, (03) : 228 - 238
  • [40] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311