Applying 'design by contract'
- 1 October 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 25 (10) , 40-51
- https://doi.org/10.1109/2.161279
Abstract
Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented. It is shown that the object-oriented techniques rely on the theory of design by contract, which underlies the design of the Eiffel analysis, design, and programming language and of the supporting libraries, from which a number of examples are drawn. The theory of contract design and the role of assertions in that theory are discussed.Keywords
This publication has 9 references indexed in Scilit:
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- The Science of ProgrammingPublished by Springer Nature ,1981
- Alphard: Form and ContentPublished by Springer Nature ,1981
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- Proof of correctness of data representationsActa Informatica, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967