design by contract
契约式设计:一种设计计算机软件的方法,要求软件设计者为软件组件定义正式、精确、可验证的接口,增加先验条件、后验条件和不变式。
design by contract网络翻译
...信息对详细描述组件间交互来说是远远不够的。组件间只有在语法、行为语义和协议3个层次上达到匹配,才能实现充分的交互。3基于契约化设计的语义扩展3.1契约化设计契约式设计(Design by Contract)是面向对象的软件设计中的一种技术,它的目的是保证软件质量、可靠性和可重用性。
按契约设计按验证契约设计-论文 专业: 模式识别与智能系统 测试驱动开发(Test-Driven Development,TDD)和按契约设计(Design by Contract,DbC)是保证软件质量和支持变化的两种新的软件工程方法.该文通过深入、详细的研究这两种方法的利弊,将两者融合
按合同设计是否会出现这类情况,按合同设计(Design By Contract)是否是这类情况。
契约设计契约设计(Design by Contract):在继承一个类的时候,只能使用相等或更弱的前置条件替换原始前置条件,只能使用相等或者更强的后置条件来替换原始后置条件。
design by contract常用短语
1. design by contract pattern:合约模式
2. design n by contract:契约式设计
design by contract双语例句
Unit testing and Design by Contract
单元测试和契约式设计
Using AOP for transparent Design by contract.
用AOP进行透明的契约式设计。
Design by Contract, or defensive programming.
契约式设计或防御性编程。
相关单词
- druggistn. 药剂师;药商;(美)药房老板(兼营化妆品、文具、牙膏、漱口剂、香烟等杂货的)
- dressmakern. 裁缝
- doldrumsn. 忧郁;赤道无风带
- dodgemsn. 碰碰车(dodgem 的复数)
- dismissaln. 开除,解雇;不予考虑,摒弃;驳回,不予受理;打发走,遣散;出局
- discothequen. 迪斯科舞厅
- diplomacyn. 外交,外交技巧;(处理人际关系的)手腕,策略
- developingadj. (国家)发展中的;正在生长的,正在发展的 v. (使)成长,发展;研制,研发;形成(观点)(develop 的现在分词)
- cribn. <美>(有围栏的)婴儿床;饲料槽,秣槽;<英>圣诞马槽(表现耶稣诞生的情景);<英,非正式>(学生用于作弊的)夹带;<非正式>(尤指学生偷偷摸摸地用的课文的)对照译文;抄袭(或剽窃)来的东西;<美,非正式>住处,小窝;克里比奇纸牌戏(cribbage 的简称);(克里比奇牌戏中的)配点牌张;(建筑物的)木笼,(矿井的)井框(=cribwork);<澳新>简单饭菜,快餐 v. <非正式>抄袭,剽窃;<古>束缚,限制;<英,旧>抱怨,发牢骚
- craftsmann. 工匠,手艺人;技艺能人(尤指男性);(英国)皇家电气和机械工程兵部队技工
- craftsn. 工艺,手艺;工艺品;(需要熟练技艺的)行业,职业;技巧,技能;骗术,手腕;船,飞机;行会会员(craft的复数) v. 精心制作(craft的第三人称单数) n. (Crafts)(美、英)克拉夫茨(人名)
- copywritern. 广告文字撰稿人
- convertibilityn. 可变换,可兑换;可改变性
- contortionistn. 柔术演员;作柔体表演者
- contingenciesn. 临时费;不可预见费;意外事件(contingency 的复数)