design by contract
Short definition from Wiktionary
Noun
- A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.
We haven’t written up design by contract yet: Simple and Standard meanings, examples and a quiz.