go top

design by contract

  • 契约式设计:一种设计计算机软件的方法,要求软件设计者为软件组件定义正式、精确、可验证的接口,增加先验条件、后验条件和不变式。

双语例句权威例句

  • Meanwhile, the social contracts written by most advanced nations, including the United States, will be rewritten by either design or events.

    同时大多数发达国家社会契约包括美国设想事件改写

    youdao

  • For example, Contract4J, a recently released contract enforcement tool, USES apt to generate aspects to enforce design-by-contract (DBC) contracts.

    例如一个最近发布契约增强工具Contract4J使用apt生成某些方面,以增强契约式设计(dbc)的契约

    youdao

  • Code Contracts is the.net implementation of the Design by Contract concept.

    代码契约(Code Contracts)契约式设计。NET实现

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定