Applying 'design by contract'
The work
| Title | Applying 'design by contract' |
|---|---|
| Authors | Bertrand Meyer |
| 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 |
|---|
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.>
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Approved | 2026-08-05 |
Cite it as
@article{meyer1992applying,
title = {Applying 'design by contract'},
author = {Bertrand Meyer},
year = {1992},
journal = {Computer},
volume = {25},
number = {10},
pages = {40--51},
publisher = {IEEE Computer Society},
doi = {10.1109/2.161279},
url = {https://doi.org/10.1109/2.161279},
}
This record lives at https://refs.drheap.org/meyer1992applying/ and will keep doing so.