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 条
  • [41] An Encapsulation Structure and Description Specification for Application Level Software Components
    Jin Guojie
    Yin Baolin
    2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL I, PROCEEDINGS, 2009, : 195 - 199
  • [42] Mobile Application Software Requirements Specification from Consumption Values
    Derawi, Mohammad
    Dalveren, Gonca Gokce Menekse
    Cagiltay, Nergiz Ercil
    ELECTRONICS, 2023, 12 (07)
  • [43] Flexible model specification and application for service-oriented software
    Sun, Fuyu
    Zhou, Jianping
    Guo, Shuai
    Li, Yi
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2019, 95 (04): : 363 - 381
  • [44] Software specification of a web-based fitness tracking application
    Arnold, S
    Osterhout, C
    Yim, C
    Dascalu, S
    COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2003, : 338 - 338
  • [45] AN ADA MODEL FOR THE SPECIFICATION OF CONTROL-SYSTEMS
    CULLYER, WJ
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 25 - 32
  • [46] Multi-perspective specification, design and implementation of software components using aspects
    Grundy, J
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (06) : 713 - 734
  • [47] XTP - EFFICIENT PARALLEL SOFTWARE IMPLEMENTATION BASED ON A PETRI NET SPECIFICATION TECHNIQUE
    HEINRICHS, B
    RUPPRECHT, M
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 4 : 373 - 384
  • [48] Application of Kroki Mockup Tool to Implementation of Executable CERIF Specification
    Filipovic, Milorad
    Vaderna, Renata
    Ivkovic, Zeljko
    Kaplar, Sebastijan
    Vukovic, Zeljko
    Dejanovic, Igor
    Milosavljevic, Gordana
    Ivanovic, Dragan
    13TH INTERNATIONAL CONFERENCE ON CURRENT RESEARCH INFORMATION SYSTEMS, CRIS2016, COMMUNICATING AND MEASURING RESEARCH RESPONSIBLY: PROFILING, METRICS, IMPACT, INTEROPERABILITY, 2017, 106 : 245 - 252
  • [49] First experience of conformance testing an application interface specification implementation
    Tam, F
    Ahvanainen, K
    SERVICE AVAILABILITY, 2005, 3335 : 190 - 199
  • [50] ADA Language for Software Engineering
    Elrabih, Diana
    THIRTEENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2018), 2018, : 128 - 131
12345