·2,447,543篇论文数据，部分数据来源于NoteExpress
Design by Contract, or programming by Contract, is not a new concept in programming, many languages already having such implementations.
契约式设计(或“契约式编程”)并不是编程领域的新概念，许多语言中已经有类似的实现了。
youdao
应用推荐
模块上移
模块下移
不移动