design by contract

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:

Wikipedia

Proper noun[edit]

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[edit]

Translations[edit]