Title :
Applying ´design by contract´
Author_Institution :
Interactive Software Eng., Goleta, CA, USA
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 which a number of examples are drawn. The theory of contract design and the role of assertions in that theory are discussed.<>
Keywords :
contracts; object-oriented programming; software reliability; software reusability; Eiffel; design by contract; object-oriented software construction; object-oriented techniques; programming language; software libraries; software reliability; Books; Computer bugs; Contracts; Guidelines; Object oriented programming; Pressing; Reliability theory; Robustness; Software engineering; Software systems;
