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 条
  • [11] Data abstraction and constraint solving for conformance testing
    Calamé, JR
    Ioustinova, N
    van de Pol, J
    Sidorova, N
    12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 541 - 548
  • [12] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
    BERZTISS, AT
    THATTE, S
    ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
  • [13] PRODUCT DATA EXCHANGE SPECIFICATION AND ITS IMPLEMENTATION
    ZHANG, YP
    DAI, YZ
    IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY, 1992, 1 : 309 - 314
  • [14] Categorical specification and implementation of Replicated Data Types
    Gadducci, Fabio
    Melgratti, Hernan
    Roldan, Christian
    Sammartino, Matteo
    THEORETICAL COMPUTER SCIENCE, 2022, 903 (84-112) : 84 - 112
  • [15] MACHINE ABSTRACTION IN MICROPROCESSOR SPECIFICATION
    MCALLISTER, M
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 211 - 224
  • [16] Specification testing in panel data with instrumental variables
    Metcalf, GE
    JOURNAL OF ECONOMETRICS, 1996, 71 (1-2) : 291 - 307
  • [17] A scalable nonparametric specification testing for massive data
    Zhao, Yanyan
    Zou, Changliang
    Wang, Zhaojun
    JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 2019, 200 : 161 - 175
  • [18] SPECIFICATION AND TESTING OF ABSTRACT-DATA-TYPES
    JALOTE, P
    COMPUTER LANGUAGES, 1992, 17 (01): : 75 - 82
  • [19] Specification testing for regression models with dependent data
    Hidalgo, J.
    JOURNAL OF ECONOMETRICS, 2008, 143 (01) : 143 - 165
  • [20] First experience of conformance testing an application interface specification implementation
    Tam, F
    Ahvanainen, K
    SERVICE AVAILABILITY, 2005, 3335 : 190 - 199
12345