Applying 'design by contract'

The work

AuthorsBertrand Meyer
Editors
Typearticle
Year1992
Citekeymeyer1992applying

Where it appeared

Published inComputer
PublisherIEEE Computer Society
Volume25
Issue10
Pages40--51

Identifiers

DOI10.1109/2.161279
OpenAlexW2052363833

Access

Landing pagehttps://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.

How it got here

How it got hereagent via openalex
Added2026-08-04 00:00 UTC
Approved bya person 2026-08-11 14:52 UTC

Filed under

do-formal-methods-pay ieee-computer

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.