契约式编程使得供应商的工作更简单了。
合并契约式编程(不明白……)和单元测试方法。
Incorporate Contract Programming and unit testing methodology.
D语言不需要反射或额外的工具(例如ccrewrite),契约式编程在D语言中是天生支持的。
D does not require reflection nor external tools (such as the ccrewrite utility), contract programming is a "first citizen" language paradigm.
契约式设计(或“契约式编程”)并不是编程领域的新概念,许多语言中已经有类似的实现了。
Design by Contract, or programming by Contract, is not a new concept in programming, many languages already having such implementations.
使用契约式设计,可以用可编程表达式指定对于组件输入和返回结果的要求。
With Design by Contract, you can use programmatic expressions to specify the requirements on inputs to a component, as well as on the returned results.
尝试为应用程序整合进防御性编程、契约式设计和一种叫做OVal的易用的通用验证框架。
Find out what happens when you combine defensive programming, design by contract, and an easy-to-use generic validation framework called 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.
应用推荐