在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

design by contract

查词链接:https://www.dute.org/dict/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.

网络释义
契约式设计
...信息对详细描述组件间交互来说是远远不够的。组件间只有在语法、行为语义和协议3个层次上达到匹配,才能实现充分的交互。3基于契约化设计的语义扩展3.1契约化设计契约式设计(Design by Contract)是面向对象的软件设计中的一种技术,它的目的是保证软件质量、可靠性和可重用性。
按契约设计
按验证契约设计-论文 专业: 模式识别与智能系统 测试驱动开发(Test-Driven Development,TDD)和按契约设计(Design by Contract,DbC)是保证软件质量和支持变化的两种新的软件工程方法.该文通过深入、详细的研究这两种方法的利弊,将两者融合
按合同设计
是否会出现这类情况,按合同设计(Design By Contract)是否是这类情况。
契约设计
契约设计(Design by Contract):在继承一个类的时候,只能使用相等或更弱的前置条件替换原始前置条件,只能使用相等或者更强的后置条件来替换原始后置条件。
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...