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

共 17 条

[1]

BASILI VR, 1976, 5TH P TEX C COMP SYS, P6

[2]

Gannon J., 1980, SIGPLAN Notices, V15, P58, DOI 10.1145/954127.954132

[3] IMPLEMENTING DATA ABSTRACTION FEATURES IN A STACK-BASED LANGUAGE [J].

GANNON, JD ;

ROSENBERG, J .

[4]

Goguen J., 1978, CURRENT TRENDS PROGR, P80

[5]

Goguen J. A., 1979, Proceedings of Specifications of Reliable Software, P170

[6] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES [J].

GUTTAG, J .

[7] ABSTRACT DATA TYPES AND SOFTWARE VALIDATION [J].

GUTTAG, JV ;

HOROWITZ, E ;

MUSSER, DR .

[8]

GUTTAG JV, 1978, ACTA INFORM, V10, P27, DOI 10.1007/BF00260922

[9]

HAMLET RG, 1978, DEC IEEE WORKSH SOFT, P56

[10]

Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507