English Explanatory Dictionary

design by contract

English dictionary entry

Meanings

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

Word forms

design by contract

Etymology

Coined by French computer scientist Bertrand Meyer.

Synonyms

contract programming DbC programming by contract
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on D Russian dictionary Dahl dictionary