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
来源：
Computer Graphics Forum | 1984年 / 3卷 / 02期
关键词：
ABSTRACT DATA TYPE - ADA PROGRAMMING LANGUAGE - ADA SOFTWARE METHODOLOGY - GRAPHICAL KERNEL SYSTEM (GKS) - USER'S CONCEPTUAL MODEL;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：153 / 167
相关论文
共 50 条
  • [1] Specification and implementation of a tree interface for ada
    Hartwig, M.
    Stein, E.
    Strobel, R.
    Journal of Information Processing and Cybernetics, 1991, 27 (04):
  • [2] Hardware/software embedded system specification and design using Ada and VHDL
    López, A
    Veiga, M
    Villar, E
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 356 - 370
  • [3] REQUIREMENTS SPECIFICATION FOR ADA SOFTWARE UNDER DOD-STD-2167A
    WALTERS, N
    JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 15 (02) : 173 - 183
  • [4] Ada与GKS联编的研究
    李立明，陈涵生
    计算机工程, 1996, (03) : 8 - 11+25
  • [5] The specification and implementation of a virtual university software system
    Shih, TK
    Chang, AY
    Chen, YH
    Ma, JH
    Huang, RH
    SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 2000, : 385 - 392
  • [6] XGKS - A MULTITASK IMPLEMENTATION OF GKS
    HERMAN, I
    TOLNAYKNEFELY, T
    VINCZE, A
    COMPUTERS & GRAPHICS, 1984, 8 (02) : 141 - 144
  • [7] A GKS IMPLEMENTATION FOR THE APPLE MACINTOSH
    BEZ, HE
    UNIVERSITY COMPUTING, 1990, 12 (04): : 135 - 139
  • [8] FORMAL SPECIFICATION OF A SMALL EXAMPLE BASED ON GKS
    DUCE, DA
    MARSHALL, LS
    ACM TRANSACTIONS ON GRAPHICS, 1988, 7 (03): : 180 - 197
  • [9] PHI-GKS - AN IMPLEMENTATION TO SUPPORT GKS-3D AND PHIGS
    NOLL, S
    POLLER, J
    COMPUTERS & GRAPHICS, 1988, 12 (02) : 163 - 172
  • [10] On the design, specification, and implementation of hyperdocuments a software engineering approach
    Fronk, A
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 422 - 427
12345