Applying 'design by contract'

Abstract

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

Topics

6 Figures and Tables

Statistics

050100'94'97'00'03'06'09'12'15'18
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