论文部分内容阅读
介绍了契约式设计的思想，并在业务构件的分析中引入了契约式设计，从而构造出可信的业务构件。重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信，并给出具体的实例来说明。
契约式设计在可信业务构件中的应用
【摘 要】
：
介绍了契约式设计的思想，并在业务构件的分析中引入了契约式设计，从而构造出可信的业务构件。重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可
【机 构】
：
华中科技大学管理学院
【出 处】
：
武汉理工大学学报(信息与管理工程版)
【发表日期】
：
2006年1期
其他文献
介绍Modbus规约在变电站的各种标准及私定义中的使用情况,详细论述了一种通信管理机Modbus通用接口程序的实现方法。该方法采用配置文件的形式对Modbus各种参数进行设置,在程
为解决应用服务器因大量访问,导致单个服务器不能承受的问题,提出了一个基于COM+组件的负载平衡模型来解决这个问题.该模型可以合理分配群集内服务器,让所有服务器共同合理分
钇铁石榴石(YIG)单晶是一种很重要的磁性材料,自一九五八年到现在,人们用水热法、焰熔法、熔盐法,拉晶—熔盐组合法等生长这种单晶。本文参考国外发表的有关文章,结合一定的
目的:探讨品管圈改进方法在无呕吐病房建立中的应用效果。方法:2016年6月由鄞州人民医院肿瘤放化疗中心的品管圈对无呕吐病房建立过程中存在的问题进行原因分析,制定活动的目
高校医院要为大学生和教职工的疾病预防、健康教育和医疗服务，而高校医院管理水平决定了其功能能否发挥出来。论述了高校医院的人员管理、设备管理、药品管理、医疗制度管理和
传统意义上,我们习惯用正态分布来描述金融资产收益率的分布,很多金融模型都是建立在收益率服从正态分布的假设基础之上。但是越来越多的学者通过经验数据发现金融数据并非服
本试验以典型的青藏高原高寒矮嵩草草甸(Kobresia humilis meadow)为研究平台,以表征土壤碳、氮、磷、硫养分循环的6种土壤酶为研究对象,研究土壤酶以及土壤速效养分在4年氮
如今，无论是走在湖南的哪一条公路上，平整的路面和靓丽的风景都让人心情舒畅。“公路比以前平整了，没有了坑坑洼洼”、“超限车辆越来越少了，安全事故减少了”、“是治超让我们这
报纸
随着侵权责任法保护范围的扩张,从保护权利扩张到保护合法的利益,但并不是所有的合法利益都能受到法律的保护,纯粹经济损失就是一种权利之外的经济利益损失,对于该等损失是否