design by contract
名词 n.
英文释义
名词 n.
- 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.
0 次浏览
数据来源: Wiktionary