【摘 要】
：
契约式开发方法是一种借鉴了形式化方法的优点而又易于实践的开发方法学,然而Eiffel等传统的契约式编程语言难以学习与推广。本文提供了一种模型,该模型利用面向方面的编程技
【机 构】
：
马鞍山师范高等专科学校,安徽工业大学计算机学院
【基金项目】
：
安徽省高校省级科学研究项目（KJ2011B171）, 安徽省高校省级优秀青年人才基金项目（2011SQRL178）
论文部分内容阅读
契约式开发方法是一种借鉴了形式化方法的优点而又易于实践的开发方法学,然而Eiffel等传统的契约式编程语言难以学习与推广。本文提供了一种模型,该模型利用面向方面的编程技术,在面向对象程序设计语言基础上,增加了契约式约束检查。并以Java面向对象程序设计语言为例,使用AspectJ技术对Java程序中的接口、类、继承、数据类型、构造器、域、方法、异常增加关注点,进行契约约束检查,最终形成一种易于实践且具有契约式功能的开发语言环境。
其他文献
注重对学生统计思维的培养,以如何培养学生的统计思维为研究目的,在具体的教学过程中通过创新教育理念、改革教学内容、转变教学模式和方法来予以实现。
目的探讨早期营养干预对老年重型颅脑损伤（SHI）患者营养状况及免疫功能的影响。方法 2013年5月至2015年6月该院神经外科收治的90例老年SHI患者,按照随机数字表法分为对照组、营
作者1998年7月至8月在某一中专学校应用采乐洗剂治疗花斑癣40例，取得了良好的疗效，现将结果报告如下： 1 资料与方法 1．1 临床资料 40例花斑癣病人来自同一学校体查，其中男37
９０年代以来印度的出口政策分析张维印度作为一个发展中国家，在外贸政策上和其他发展中国家一样，一直采取“限制进口，鼓励出口”的做法。印度也有其特殊性，１９４７年以前的印度是英国的殖民
对赌协议是私募股权投资中一种常见的商业手段,对赌协议的效力如何学界多有争议,三种思流各有纷纭。保守主义基于"显失公平、违法和避法",绝对否定对赌协议效力。自由主义基
被誉为绿色能源的熔融碳酸盐燃料电池具有高效无污染的突出优点,是21世纪最有吸引力的发电方法之一。高品位的废热使得它可以和燃气轮机组成混合装置系统,从而大幅度地提高装
我们沈阳第四橡胶厂是全国橡胶制品大型骨干企业之一。产品畅销国内29个省、市、自治区,并出口日本、英国、法国、澳大得亚、泰国、新加坡等20多个国家和地区。1987年我厂被
分析目前生物工艺综合实验课存在的问题,从构建新的生物工艺综合实验教学体系、编写实验指导书、改革实验教学方法和考核方式等几方面,对生物工艺综合实验进行改革与实践。结
以TiCl4、氨水及双氧水为主要原料，通过水解法制备出纳米TiO2光催化剂。采用SEM分析手段对制备的TiO2颗粒进行了表征。以甲基橙溶液模拟染料废水，TiO2为催化剂，在紫外光照条件下
目的了解海南地区老年骨质疏松（OP）健康行为现状，分析其影响因素。方法选择海南地区的海口市、三亚市、三沙市和儋州市4个社区卫生服务中心的304例老年0P为研究对象，采用自行设计