DMCA
Applying design by contract (1992)
Cached
Download Links
| Venue: | IEEE Computer |
| Citations: | 784 - 7 self |
BibTeX
@ARTICLE{Meyer92applyingdesign,
author = {Bertrand Meyer},
title = {Applying design by contract},
journal = {IEEE Computer},
year = {1992},
volume = {25},
pages = {40--51}
}
Share
 |
 |
 |
 |
||
OpenURL
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
