Applying 'Design by Contract'.

Meyer, B. (1992). Applying 'Design by Contract'. Computer, 25(10), 40-51.

Type

Journal article

Intellectual base

Primary research

Year

1992

DOI

10.1109/2.161279

Link

https://doi.org/10.1109/2.161279

Cited from

computer_science, law_governance, mathematics, military_security, philosophy

Cited by

5 citations across 5 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Axiom
  • Software and systems — published contracts, type laws, and maintained invariants that callers are entitled to assume, with violations counting as bugs in the same sense that contradiction is a bug in a logical system.
• Commitment
  • The design-by-contract movement transferred contract-law structure — preconditions, postconditions, invariants, recourse on breach — into programming-language semantics.

    This sourceImports contract-law structure — preconditions, postconditions, invariants, and recourse on breach — into programming-language semantics.

• Contract
  • Software interfaces. API contracts, design-by-contract programming, and protocol specifications name the obligations of caller and callee, the legal request shapes, and the failure modes, with the runtime or compiler as the enforcement regime.

    This sourceIntroduces design by contract: preconditions, postconditions, and invariants as caller/callee obligations enforced by the runtime.

• Out Of Distribution Detection
  • Software: precondition checks and design-by-contract systems that throw on out-of-contract inputs rather than producing undefined behaviour.

    This sourceIntroduces preconditions/postconditions/invariants as enforceable contracts; routines reject inputs that violate their precondition (out-of-contract), the software analogue of refusing out-of-scope inputs.

• Preparatory Field Conditioning
  • … state is written down as a value, a tolerance and a time at which it must hold, the two halves of the work can decouple: whoever conditions the field owns the obligation to move the state into range and hold it there until the appointed hour, and whoever performs the focal act owns succeeding against a field in range.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:3ba4939fe574 · see in the full table