Applying 'design by contract'


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… (More)
DOI: 10.1109/2.161279


6 Figures and Tables


Citations per Year

1,973 Citations

Semantic Scholar estimates that this publication has 1,973 citations based on the available data.

See our FAQ for additional information.

Blog articles referencing this paper

Slides referencing similar topics