Specification and testing of abstract data types
- 31 December 1992
- journal article
- Published by Elsevier in Computer Languages
- Vol. 17 (1) , 75-82
- https://doi.org/10.1016/0096-0551(92)90024-h
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Testing the completeness of specificationsIEEE Transactions on Software Engineering, 1989
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985
- Specifications: Formal and informal—a case studySoftware: Practice and Experience, 1982
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- Notes on Type Abstraction (Version 2)IEEE Transactions on Software Engineering, 1980
- Abstract Data Type Specification in the Affirm SystemIEEE Transactions on Software Engineering, 1980
- Abstract data types and software validationCommunications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975