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 条
  • [1] Data-abstraction refinement: A game semantic approach
    Dimovski, A
    Ghica, DR
    Lazic, R
    STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 102 - 117
  • [2] Data-abstraction refinement: A game semantic approach
    Bakewell A.
    Dimovski A.
    Ghica D.R.
    Lazić R.
    International Journal on Software Tools for Technology Transfer, 2010, 12 (05) : 373 - 389
  • [3] Specification for testing - the removal of abstraction
    Queen's Univ of Belfast, Belfast, United Kingdom
    J Software Test Verif Reliab, 1 (3-14):
  • [4] A case study in specification and implementation testing
    Miller, T
    Strooper, P
    11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 130 - 139
  • [5] NUSL - AN EXECUTABLE SPECIFICATION LANGUAGE BASED ON DATA ABSTRACTION
    JIANG, XJ
    XU, YS
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 124 - 138
  • [6] Agnostic Middleware for VANETs: Specification, Implementation and Testing
    Goncalves, Fabio
    Ribeiro, Bruno
    Gama, Oscar
    Nicolau, Maria Joao
    Dias, Bruno
    Costa, Antonio
    Santos, Alexandre
    Macedo, Joaquim
    WINSYS : PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS AND MOBILE SYSTEMS, 2022, : 84 - 92
  • [7] FORMAL SPECIFICATION OF DATA ABSTRACTION IN FORTRAN 77 - ABSTRACT ARRAYS
    COLBROOK, A
    SMYTHE, C
    SOFTWARE ENGINEERING JOURNAL, 1990, 5 (03): : 151 - 159
  • [8] DESIGN AND IMPLEMENTATION OF DATA ABSTRACTION DEFINITION FACILITY
    SCHWABE, D
    LUCENA, CJ
    SOFTWARE-PRACTICE & EXPERIENCE, 1978, 8 (06): : 709 - 719
  • [9] IMPLEMENTATION OF A CAPABILITY-BASED DATA ABSTRACTION
    ZELKOWITZ, MV
    LARSEN, HJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (01) : 56 - 64
  • [10] Class specification implementation graphs and their application in regression testing
    Beydeda, S
    Gruhn, V
    26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 835 - 840
12345