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 条
  • [21] A data validation method in requirement specification of software application
    Thadadech, A
    Bhattarakosol, P
    O'Brien, F
    Proceedings of the IASTED International Conference on Software Engineering, 2004, : 236 - 241
  • [22] Application specification and software reuse in parallel scientific computing
    Decker, KM
    Johnson, MJ
    IEEE CONCURRENCY, 1998, 6 (02): : 71 - 77
  • [23] SPECIAL ISSUE ON SPECIFICATION AND TASKING IN ADA
    HANNA, FK
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1982, 129 (02): : 37 - 37
  • [24] AN OVERVIEW OF ANNA, A SPECIFICATION LANGUAGE FOR ADA
    LUCKHAM, DC
    VONHENKE, FW
    IEEE SOFTWARE, 1985, 2 (02) : 9 - 22
  • [25] GKS-9X - THE DESIGN OUTPUT PRIMITIVE, AN APPROACH TO A SPECIFICATION
    NEHLIG, PW
    DUCE, DA
    COMPUTER GRAPHICS FORUM, 1994, 13 (03) : C381 - C392
  • [26] ARITHMETIC SPECIFICATION FOR SCIENTIFIC COMPUTATION IN ADA
    KLATTE, R
    ULLRICH, CP
    VONGUDENBERG, JW
    IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (11) : 996 - 1005
  • [27] CLAIMS OF COMPLIANCE WITH ADA SPECIFICATION NO 5
    STANFORD, JW
    JOURNAL OF THE AMERICAN DENTAL ASSOCIATION, 1967, 74 (07): : 1410 - &
  • [28] ADA SOFTWARE FOR CYTOMETRY
    LEIF, RC
    ROSELLO, ID
    SIMLER, DM
    GARCIA, GP
    LEIF, SB
    ANALYTICAL AND QUANTITATIVE CYTOLOGY AND HISTOLOGY, 1991, 13 (06): : 440 - 450
  • [29] GKSGRAL - A PORTABLE IMPLEMENTATION OF THE GKS STANDARD.
    Cullman, Norbert
    Computers and Graphics (Pergamon), 1984, 8 (03): : 303 - 307
  • [30] Object-oriented software specification in programming language design and implementation
    Bryant, BR
    Vaidyanathan, V
    TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 387 - 392