返回
英语词组短语

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 的复数)

Copyright © 2024 www.zxfy.com All Rights Reserved. 版权所有:在线翻译网

ICP备案号:皖ICP备2024052514号-1

script> (function(){ var bp = document.createElement('script'); var curProtocol = window.location.protocol.split(':')[0]; if (curProtocol === 'https') { bp.src = 'https://zz.bdstatic.com/linksubmit/push.js'; } else { bp.src = 'http://push.zhanzhang.baidu.com/push.js'; } var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(bp, s); })();

Top