COMMENTS ON PROGRAM SPECIFICATION AND TESTING

被引：5
|
作者：
HOUSE, R
机构：
来源：
COMMUNICATIONS OF THE ACM | 1980年 / 23卷 / 06期
关键词：
D O I：
10.1145/358876.358879
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：324 / 331
页数：8
相关论文
共 50 条
  • [41] SPECIFICATION DIRECTED MODULE TESTING
    HAYES, IJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) : 124 - 133
  • [42] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (02): : 146 - 155
  • [43] Specification and testing of solder paste
    Warwick, Malcolm
    Kelly, Geraldine
    Currie, Mark
    Jones, Matthew
    National Electronic Packaging and Production Conference-Proceedings of the Technical Program (West and East), 1999, 1 : 222 - 230
  • [44] SUPPLY, TESTING AND SPECIFICATION OF CEMENT
    不详
    CONCRETE, 1970, 4 (08): : 335 - &
  • [45] THE NEED FOR SPECIFICATION AND TESTING LANGUAGES
    COX, BJ
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1988, 1 (02): : 44 - 47
  • [46] SPECIFICATION AND ACCEPTANCE IN NONDESTRUCTIVE TESTING
    PERDIJON, J
    MATERIALS EVALUATION, 1993, 51 (07) : 805 - &
  • [47] Usage specification and statistical testing
    Beck, Albecht
    Alcatel Telecommunications Review, (01): : 13 - 15
  • [48] Specification Coverage for Testing in Circus
    Cavalcanti, Ana
    Gaudel, Marie-Claude
    UNIFYING THEORIES OF PROGRAMMING, 2010, 6445 : 1 - +
  • [49] SPECIFICATION AND TESTING OF VALVES.
    Debono, R.J.
    Christian, J.R.
    Smelt, A.
    1978, 183 (4712): : 150 - 151
  • [50] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (3-4): : 231 - 237
12345