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 条
  • [31] EVALUATING A DATA ABSTRACTION TESTING SYSTEM BASED ON FORMAL SPECIFICATIONS
    MCMULLIN, PR
    GANNON, JD
    JOURNAL OF SYSTEMS AND SOFTWARE, 1981, 2 (02) : 177 - 186
  • [32] DIRECT IMPLEMENTATION OF ALGEBRAIC SPECIFICATION OF ABSTRACT DATA-TYPES
    MOITRA, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (01) : 12 - 20
  • [33] Specification and Implementation of a Data Generator to Simulate Fraudulent User Behavior
    Baader, Galina
    Meyer, Robert
    Wagner, Christoph
    Krcmar, Helmut
    BUSINESS INFORMATION SYSTEMS (BIS 2016), 2016, 255 : 67 - 78
  • [34] Data specification and implementation for industrial systems using STEP technology
    Raibulet, C
    Demartini, C
    Constantin, O
    COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2000, : 228 - 233
  • [35] ON THE THEORY OF SPECIFICATION, IMPLEMENTATION, AND PARAMETRIZATION OF ABSTRACT DATA-TYPES
    EHRICH, HD
    JOURNAL OF THE ACM, 1982, 29 (01) : 206 - 227
  • [36] Specification and implementation of mobile-agent-based data integration
    Ahlbrecht, P
    Röver, J
    DATABASES AND INFORMATION SYSTEMS II, 2002, : 269 - 283
  • [37] Specification testing
    Delgado, Miguel A.
    JOURNAL OF ECONOMETRICS, 2008, 143 (01) : 1 - 4
  • [38] Use Case Specification at Different Levels of Abstraction
    Savic, Dusan
    da Silva, Alberto Rodrigues
    Vlajic, Sinisa
    Lazarevic, Sasa
    Stanojevic, Vojislav
    Antovic, Ilija
    Milic, Milos
    2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 187 - 192
  • [39] IMPLEMENTATION OF AN AUTOMATED DATA ABSTRACTION WORKFLOW TO FACILITATE QUALITY IMPROVEMENT AND RESEARCH
    Kothari, Anai N.
    Arvide, Elsa M.
    Trans, Andrew
    Newhook, Timothy E.
    Bruno, Morgan L.
    Dewhurst, Whitney L.
    Aloia, Thomas
    Swisher, Stephen G.
    Lee, Jeffrey E.
    Katz, Matthew
    Vauthey, Jean-Nicolas
    Tzeng, Ching-Wei D.
    GASTROENTEROLOGY, 2021, 160 (06) : S883 - S883
  • [40] 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
12345