接口连接式构件组装的一种形式化方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:heyjoey
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。
其他文献
摘要:对中职生进行思想道德和职业发展教育,是我国现代化建设和社会主义市场经济体制发展的需求。因此,学校和教师应利用各种途径和方法,帮助中职生树立良好的世界观、人生观、价值观。论文分析了中职生存在的现状,并给出了相关建议。关键词:中职生;道德;职业;教育中图分类号:G631 文献标识码:A 文章编号:1006-3315(2011)12-133-001随着我国经济体制向社会主义市场经济体制的转化,改革
在面向对象程序的进化测试中,面向对象程序本身的状态特性使得一个分支的到达需要一定长度方法调用序列的执行,而封装特性则使得在一个对象外部无法直接调用其private方法或者p
在新时代下,高校大学生爱国主义教育尚面临着很多现实困难,例如教育活动形式单一,与时代融合度不够;大学生的爱国血液“忽冷忽热”;高校的育人机制和方法需要进一步创新和改
入侵检测已成为网络安全的第二层重要防御线.分析了对新型未知的攻击的入侵检测,提出基于模糊C均值聚类的网络入侵检测算法.用KDD-99数据集的仿真实验结果表明算法的可行性、
为进一步推进个人住房公积金缴存信息的采集工作,确保住房公积金信息能够尽快纳入个人信用信息基础数据库,人民银行征信管理局制定了《个人公积金账户数据采集格式》。
使用Gleeble3500热模拟试验机测定零塑性温度(ZDT)、零强度温度(ZST)及最大抗拉强度随温度的变化,用扫描电镜观察分析不同拉伸温度下的断口形貌,使用THERMO-CALC软件计算其冷却过
摘 要:目前中职汽车专业教学基本沿用原有教材和大纲,而汽车技术日新月异,且汽车专业实践教学只是再现书本内容,距离生产实际相差甚远。必须改革当前模式才能跟上时代的步法。关键词:汽车; 理论; 实践; 改革中图分类号:U472.43 文献表示码:A 文章编号:1006-3315(2010)4-121-001随着经济发展、社会进步和人民生活水平的提高,汽车逐渐进入家庭、进入我们的生活当中。汽车保有量逐年
在水利水电行业,特大断面地下洞室顶拱层开挖一般采用中导洞先行两侧扩挖或先开挖两侧导洞后拆除中间的施工方法,很少采用对称半洞的开挖方法。玛尔挡水电站主变室跨度19.3 m
资源描述框架RDF是一种元数据描述方法,它提供了Web上智能信息服务和语义互操作性的标准,是下一代Web一语义Web应用的基础。大量RDF数据的操作和处理需要数据库的支持,而关系数
摘要:通过查阅文献资料,对我国高校辅导员队伍研究现状进行分析,提出高校辅导员队伍建设的必要性,建立高校辅导员队伍职业化、规范化、专业化、社会化,管理科学化模式。关键词:辅导员;队伍;职业化;模式中图分类号:G641文献标识码:A文章编号:1006-3315(2010)3-136-0011 辅导员职业化的涵义辅导员职业化,一方面是指高校辅导员行为规范、身份和来源的社会化,意味着其不再只是高校的一个工