DATA-ABSTRACTION IMPLEMENTATION, SPECIFICATION, AND TESTING

被引：98
|
作者：
GANNON, J
MCMULLIN, P
HAMLET, R
机构：
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1981年 / 3卷 / 03期
关键词：
D O I：
10.1145/357139.357140
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：211 / 223
页数：13
相关论文
共 50 条
  • [21] Specification, testing and implementation relations for symbolic-probabilistic systerns
    López, N
    Núñez, M
    Rodríguez, I
    THEORETICAL COMPUTER SCIENCE, 2006, 353 (1-3) : 228 - 248
  • [22] SPECIFICATION AND IMPLEMENTATION OF RESILIENT, ATOMIC DATA-TYPES
    WEIHL, W
    LISKOV, B
    SIGPLAN NOTICES, 1983, 18 (06): : 53 - 64
  • [23] A test implementation of the Core Manufacturing Simulation Data specification
    Johansson, Marcus
    Johansson, Bjoern
    Skoogh, Anders
    Leong, Swee
    Riddick, Frank
    Lee, Y. Tina
    Shao, Guodong
    Klingstam, Paer
    PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 1652 - 1660
  • [24] Constraints specification at higher levels of abstraction
    Balarin, F
    Burch, J
    Lavagno, L
    Watanabe, Y
    Passerone, R
    Sangiovanni-Vincentelli, A
    SIXTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2001, : 129 - 133
  • [25] ABSTRACTION AND SPECIFICATION OF LOCAL AREA NETWORKS
    JO, CH
    FISHER, DD
    GEORGE, KM
    EIGHTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS: 1989 CONFERENCE PROCEEDINGS, 1989, : 337 - 342
  • [26] SPECIFICATION OR HOW TO MAKE ABSTRACTION REAL
    ABRIAL, JR
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (03): : 201 - 219
  • [27] Abstraction and tolerance of imprecision in formal specification
    Pham, T
    Wagner, M
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 232 - 235
  • [28] Abstraction and testing
    Schneider, S
    FM'99-FORMAL METHODS, 1999, 1708 : 738 - 757
  • [29] SPECIFICATION AND TESTING OF SOME MODIFIED COUNT DATA MODELS
    MULLAHY, J
    JOURNAL OF ECONOMETRICS, 1986, 33 (03) : 341 - 365
  • [30] Measuring component specification-implementation concordance with semantic mutation testing
    Department of Electrical Engineering and Computer Science, Syracuse University, Syracuse, NY 13244, United States
    Proc. ISCA Int. Conf. Comput. Their Appl., CATA, 1600, (102-107):
12345