计算机科学 ›› 2006, Vol. 33 ›› Issue (7): 253-256.
• 计算机网络与信息安全 • 上一篇 下一篇
孙莹 陈松乔
出版日期:
发布日期:
基金资助:
SUN Ying ,CHEN Song-Qiao （College of Information Science and Engineering,Center South University,Changsha 410083）
Online:
Published:
摘要： 构件组装是基于构件的软件开发的研究重点之一，能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的，缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术，采用形式化方法描述和推导与构件以及构件组装相关的问题，给出了映射算法，实现了从构件组装规约向粘合代码的自动转换，为构件组装形式化分析、组装正确性检验提供了保证。
关键词: 基于构件的软件开发 构件组装 接口连接式组装 组装推导
Abstract: Component composition is one of the emphasis of research in component based software development. It can greatly improve the efficiency and quality in software development. Currently, most of the component composition technology is implemented under the c
Key words: Component-based software development, Component composition, Interface connection composition, COmposition deduce
孙莹 陈松乔. 接口连接式构件组装的一种形式化方法[J]. 计算机科学, 2006, 33(7): 253-256. https://doi.org/
SUN Ying ,CHEN Song-Qiao （College of Information Science and Engineering,Center South University,Changsha 410083）. [J]. Computer Science, 2006, 33(7): 253-256. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I7/253
Cited
首页