Design by Contract, or programming by Contract, is not a new concept in programming, many languages already having such implementations.
契约式设计(或“契约式编程”)并不是编程领域的新概念，许多语言中已经有类似的实现了。
It also explains the difference between programming by contract and defensive programming with a clever situation where your customers request that the framework code do the checking.
该书还阐述了在客户请求框架代码进行检查的智能情况下，承包程序设计和防错性程序设计之间的差别。
Find out what happens when you combine defensive programming, design by contract, and an easy-to-use generic validation framework called OVal.
尝试为应用程序整合进防御性编程、契约式设计和一种叫做OVal的易用的通用验证框架。
An expansion method for programming language based on design by contract is proposed while some errors may be happen during the game robot designing with graphical editor.
针对游戏机器人开发平台在图形编程过程中可能出现的错误，提出了一种基于契约式设计思想的程序设计语言扩展方式。
An expansion method for programming language based on design by contract is proposed while some errors may be happen during the game robot designing with graphical editor.
针对游戏机器人开发平台在图形编程过程中可能出现的错误，提出了一种基于契约式设计思想的程序设计语言扩展方式。
应用推荐