This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Applying "Design by Contract"
October 1992 (vol. 25 no. 10)
pp. 40-51

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.

Citation:
Bertrand Meyer, "Applying "Design by Contract"," Computer, vol. 25, no. 10, pp. 40-51, Oct. 1992, doi:10.1109/2.161279
Usage of this product signifies your acceptance of the Terms of Use.