go top

design by contract

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

网络释义专业释义英英释义

  契约式设计

...信息对详细描述组件间交互来说是远远不够的。组件间只有在语法、行为语义和协议3个层次上达到匹配,才能实现充分的交互。3基于契约化设计的语义扩展3.1契约化设计契约式设计(Design by Contract)是面向对象的软件设计中的一种技术,它的目的是保证软件质量、可靠性和可重用性。

基于3809个网页-相关网页

  按契约设计

按验证契约设计-论文 专业: 模式识别与智能系统 测试驱动开发(Test-Driven Development,TDD)和按契约设计(Design by Contract,DbC)是保证软件质量和支持变化的两种新的软件工程方法.该文通过深入、详细的研究这两种方法的利弊,将两者融合

基于210个网页-相关网页

  按合同设计

是否会出现这类情况,按合同设计(Design By Contract)是否是这类情况。

基于84个网页-相关网页

  契约设计

契约设计(Design by Contract):在继承一个类的时候,只能使用相等或更弱的前置条件替换原始前置条件,只能使用相等或者更强的后置条件来替换原始后置条件。

基于78个网页-相关网页

短语

Design by Contract Library 订单设计库

DbC Design by Contract 按契约设计

Design by Contract - DBC 契约式设计

design by contract pattern 合约模式

design n by contract 契约式设计

 更多收起网络短语
  • 契约式设计

·2,447,543篇论文数据,部分数据来源于NoteExpress

Design by contract

  • abstract: Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants.

以上来源于: WordNet

双语例句

  • Unit testing and Design by Contract

    单元测试契约式设计

    youdao

  • Using AOP for transparent Design by contract.

    AOP进行透明契约式设计。

    youdao

  • Design by Contract, or defensive programming.

    契约式设计防御性编程

    youdao

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

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

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