design by contract
nounEtymology
Coined by French computer scientist Bertrand Meyer.
Definitions
A software design approach that prescribes formal, precise and verifiable interface…
A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.
The neighborhood
Vish — recursive loop
No curated loop yet for design by contract. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA