design by contract

See also: Design by Contract

English

Etymology

Coined by French computer scientist Bertrand Meyer.

Noun

design by contract (uncountable)

  1. (programming) A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.

Synonyms

Translations

Translations

Further reading

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.