design by contract
nounEtymology Coined by French computer scientist Bertrand Meyer.
1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.
- Synonyms
- contract programming, DbC, programming by contract