design by contract

Etymology
.

Noun

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

Translations

 * Finnish: sopimuspohjainen ohjelmointi
 * German: Design by Contract