Meanwhile, the social contracts written by most advanced nations, including the United States, will be rewritten by either design or events.
同时,大多数发达国家的社会契约,包括美国,将会被设想或事件改写。
For example, Contract4J, a recently released contract enforcement tool, USES apt to generate aspects to enforce design-by-contract (DBC) contracts.
例如,一个最近发布的契约增强工具Contract4J使用apt生成某些方面,以增强契约式设计(dbc)的契约。
Code Contracts is the.net implementation of the Design by Contract concept.
代码契约(Code Contracts)是“契约式设计”的。NET实现。
应用推荐