German

Proper noun

Design by contract m ‎(genitive Design by contracts)

1. (software, design) design by contract

English

Proper noun

design by contract

1. (software, design) Software design approach that prescribes that software designers should define formal, precise and verifiable interface specifications ("contracts") for software components that extend the ordinary definition of abstract data types with preconditions, postconditions and invariants.

Synonyms

• contract programming
• design-by-contract programming
• programming by contract

Translations