Abstract

Reliability is even more important in object-oriented programming than elsewhere. This article shows how to reduce bugs by building software components on the basis of carefully designed contracts. 40 s object-oriented techniques steadily gain ground in the world of software development. users and prospective users of these techniques are clam-oring more and more loudly for a “methodology ” of object-oriented software construction- or at least for some methodological guidelines. This article presents such guidelines, whose main goal is to help improve the reliability

Citations

1219	An axiomatic basis for computer programming - Hoare - 1969
87	Abstract Data Types and the Development of Data Structures - Guttag - 1977
7	Eiffel: The Libraries - Meyer - 1986
1	Erffel: The Lattgziagc - Meyer - 1991
1	Axiomatic Basis for Computer Programming - Hall, EnglewoodCliffs - 1991
1	A Discipline of Programming. Prcnticc - Dijkstra - 1976
1	Initial Algebra Approach to the Specification, Correctness. and Implementation of Abstract Data Types - “An - 1978
1	Abstract Data Types and the Development of Data Structures - Cuttag - 1977
1	ATM Charging Schemes (Review of ATM Charging Schemes and Performance - unknown authors - 1996
1	Ei,ffe/: The Langzdagc - I - 1991
1	A Discipline of Programr,lin~. Prcnticc - Dijkstra - 1976
1	La Description des Structures Je DonnCes.” Bulletin de 10 Direction des Etudeset Recherches d’Electricit6 t/e Frtlncr - Meyer - 1976
1	The New Culture of Software Development.” TOOLS 2 (Technology of Object-Oriented Languages and - Meyer - 1989