The Community for Technology Leaders
Green Image
Issue No. 10 - October (1992 vol. 25)
ISSN: 0018-9162
pp: 40-51
ABSTRACT
<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>
INDEX TERMS
CITATION
Bertrand Meyer, "Applying "Design by Contract"", Computer, vol. 25, no. , pp. 40-51, October 1992, doi:10.1109/2.161279
89 ms
(Ver 3.3 (11022016))