Specification and implementation of a tree interface for ada

被引：0
|
作者：
Hartwig, M.
Stein, E.
Strobel, R.
机构：
来源：
Journal of Information Processing and Cybernetics | 1991年 / 27卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] SPI - A PACS INTERFACE SPECIFICATION
    TESCHE, G
    MEDICAL INFORMATICS, 1988, 13 (04): : 281 - 288
  • [42] Behavioral Interface Specification Languages
    Hatcliff, John
    Leavens, Gary T.
    Leino, K. Rustan M.
    Mueller, Peter
    Parkinson, Matthew
    ACM COMPUTING SURVEYS, 2012, 44 (03)
  • [43] Interface specification for reconfigurable components
    Singh, S
    IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 102 - 109
  • [44] ON METHODS FOR INTERFACE SPECIFICATION AND DESIGN
    RICHARDS, JNJ
    BEZ, HE
    GITTINS, DT
    COOKE, DJ
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1986, 24 (06): : 545 - 568
  • [45] Interface specification assurance methods
    Jin, Naiyong
    Ni, Taoyong
    ISQED 2007: Proceedings of the Eighth International Symposium on Quality Electronic Design, 2007, : 269 - 274
  • [46] Safety kernels: specification and implementation
    Univ of York, York, United Kingdom
    High integrity systems, 1995, 1 (03): : 287 - 300
  • [47] PROCEDURAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATION
    LIN, HM
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 876 - 895
  • [48] INTERTWINING SPECIFICATION AND IMPLEMENTATION - REPLY
    SWARTOUT, W
    BALZER, R
    COMMUNICATIONS OF THE ACM, 1983, 26 (02) : 108 - 108
  • [49] Specification and implementation of a GB parser
    Ghemri, Lila
    Proceedings of the International Workshop on Natural Language Understanding and Logic Programming, 1991,
  • [50] QUALIFICATION BY SIMILARITY - SPECIFICATION AND IMPLEMENTATION
    THALLER, RE
    1989 PROCEEDINGS :: 35TH ANNUAL TECHNICAL MEETING - BUILDING TOMORROWS ENVIRONMENT, 1989, : 106 - 109
12345