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 条
  • [11] Specification testing
    Delgado, Miguel A.
    JOURNAL OF ECONOMETRICS, 2008, 143 (01) : 1 - 4
  • [12] Specification for testing
    George, Chris
    Krishnan, Padmanabhan
    Salas, P. A. P.
    Sanders, J. W.
    Formal Methods and Hybrid Real-Time Systems, 2007, 4700 : 280 - 299
  • [13] MODEL-SPECIFICATION - COMMENTS
    LOEB, PD
    ANNALS OF TOURISM RESEARCH, 1985, 12 (02) : 253 - 256
  • [14] Testing and debugging message passing applications based on the synergy of program and specification executions
    Tsiatsoulis, Z
    Cotronis, JY
    Floros, E
    PROCEEDINGS OF THE SEVENTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING, PDP'99, 1999, : 196 - 203
  • [15] COMMENTS ON COMMENTS ON TESTING
    FOREHAND, GA
    EDUCATIONAL AND PSYCHOLOGICAL MEASUREMENT, 1964, 24 (04) : 853 - 859
  • [16] SPECIFICATION = PROGRAM + TYPES
    NAISH, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 326 - 339
  • [17] SPECIFICATION FOR PILE TESTING
    Anon
    Ground Engineering, 1987, 20 (01): : 12 - 14
  • [18] Advances in specification testing
    Davidson, Russell
    Zinde-Walsh, Victoria
    CANADIAN JOURNAL OF ECONOMICS-REVUE CANADIENNE D ECONOMIQUE, 2017, 50 (05): : 1595 - 1631
  • [19] GEOTEXTILES - SPECIFICATION AND TESTING
    INGOLD, TS
    CIVIL ENGINEERING-LONDON, 1983, (SEP): : 45 - &
  • [20] THE SPECIFICATION OF MODELS OF CAMPAIGN FINANCE - COMMENTS
    KAU, JB
    RUBIN, PH
    PUBLIC CHOICE, 1985, 47 (01) : 113 - 119
12345