The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1992 vol.25)
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>
CITATION
Bertrand Meyer, "Applying "Design by Contract"", Computer, vol.25, no. 10, pp. 40-51, October 1992, doi:10.1109/2.161279
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool