design by contract

短语

释义与例句

n.
  1. 1.

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

    不可数 计算机 工程 数学

词源

Coined by French computer scientist Bertrand Meyer.

来源：wiktionary