Design by Contract
The work
| Authors | Bertrand Meyer |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1991 |
| Citekey | meyer1991design |
Where it appeared
| Published in | Advances in Object-Oriented Software Engineering |
|---|---|
| Publisher | Prentice-Hall |
| Pages | 1--50 |
Related
| Distinct from | abadi1997logic |
|---|---|
| Distinct from | gouw2015openjdks |
| Distinct from | hiep2022verifying |
| Distinct from | tatman2024analysis |
Abstract
This chapter is a contribution to software reliability. It presents a view of software design based on a metaphor: software construction as a succession of documented contracting decisions. This idea provides insights into a number of issues faced by programmers whenever they try to construct correct and robust software. Two results of the approach developed in this paper are a coherent approach to the handling of failures and exceptions, believed to be both simpler and safer than earlier techniques, and a coherent interpretation of two important but potentially unsafe aspects of object-oriented programming: inheritance and dynamic binding. The discussion relies on the Eiffel object-oriented language and environment.
A copy is held
pdf, 2.5 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-08 00:00 UTC |
| Approved by | a person 2026-08-24 07:29 UTC |
Filed under
Cite it as
@incollection{meyer1991design,
title = {Design by Contract},
author = {Bertrand Meyer},
year = {1991},
booktitle = {Advances in Object-Oriented Software Engineering},
publisher = {Prentice-Hall},
pages = {1--50},
}
This record lives at https://refs.drheap.org/meyer1991design/ and will keep doing so.