ABSTRACT DATA TYPES AND SOFTWARE VALIDATION

被引：140

作者：

GUTTAG, JV ^{[1
]}

HOROWITZ, E ^{[1
]}

MUSSER, DR ^{[1
]}

机构：

[1] UNIV SO CALIF,INST INFORMAT SCI,MARINA DEL REY,CA 90291

来源：

关键词：

D O I：

10.1145/359657.359666

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：1048 / 1064

页数：17

共 50 条

[41] Verifying Abstract Data Types A Hybrid Approach
Ahmed, Nahid
2013 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRICAL AND ELECTRONICS ENGINEERING (ICCEEE), 2013, : 634 - 639
[42] Mining Abstract XML Data-Types
Athanasopoulos, Dionysis
Zarras, Apostolos
ACM TRANSACTIONS ON THE WEB, 2019, 13 (01)
[43] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[44] Concurrent state transformations on abstract data types
GrosseRhode, M
RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 222 - 236
[45] ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 244 - 251
[46] Transition specifications for dynamic abstract data types
Grosse-Rhode, Martin
1997, Kluwer Academic Publishers, Dordrecht, Netherlands (05)
[47] SPECIFICATION AND TESTING OF ABSTRACT-DATA-TYPES
JALOTE, P
COMPUTER LANGUAGES, 1992, 17 (01): : 75 - 82
[48] APPROXIMATION PROPERTIES OF ABSTRACT DATA-TYPES
SCHMIDT, DA
THEORETICAL COMPUTER SCIENCE, 1983, 24 (01) : 73 - 94
[49] Combining the animation and testing of abstract data types
Miller, T
Strooper, P
SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 249 - 258
[50] Class-Diagrams for Abstract Data Types
Thai Son Hoang
Snook, Colin
Dghaym, Dana
Butler, Michael
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2017, 2017, 10580 : 100 - 117