Applying design by contract

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 reliabilit