Issue No. 10 - October (1992 vol. 25)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.161279
<p>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.</p>
B. Meyer, "Applying "Design by Contract"," in Computer, vol. 25, no. , pp. 40-51, 1992.