Applying 'design by contract'
The work
| Authors | Bertrand Meyer |
|---|---|
| Editors | |
| Type | article |
| Year | 1992 |
| Citekey | meyer1992applying |
Where it appeared
| Published in | Computer |
|---|---|
| Publisher | IEEE Computer Society |
| Volume | 25 |
| Issue | 10 |
| Pages | 40--51 |
Identifiers
| DOI | 10.1109/2.161279 |
|---|---|
| OpenAlex | W2052363833 |
Access
| Landing page | https://doi.org/10.1109/2.161279 |
|---|
Related
| Distinct from | agerholm1998lightweight |
|---|
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.
A copy is held
pdf, 1.9 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-11 14:52 UTC |
Filed under
Cite it as
@article{meyer1992applying,
title = {Applying 'design by contract'},
author = {Bertrand Meyer},
year = {1992},
journal = {Computer},
publisher = {IEEE Computer Society},
volume = {25},
number = {10},
pages = {40--51},
doi = {10.1109/2.161279},
}
This record lives at https://refs.drheap.org/meyer1992applying/ and will keep doing so.