共查询到10条相似文献,搜索用时 0 毫秒
1.
基于形式规格说明的构件匹配 总被引:4,自引:0,他引:4
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用——构件检索。 相似文献
3.
基于可重用构件库的软件重用技术 总被引:16,自引:0,他引:16
一、引言 1968年Mollroy在NATo软件工程会议上首次提出了软件重用的思想。1983年Freeman又进一步拓广了软件重用的概念,指出可重用的构件不仅可以是源代码片断,还可以是模块、设计结构 相似文献
4.
5.
6.
7.
8.
9.
使用可重用构件合成软件 总被引:2,自引:0,他引:2
软件重用被认为是软件工程中极有前途的发展方向,对于提高软件生产率和软件质量有重要意义。目前,软件重用研究工作主要从方法学、工程和技术三方面进行。软件重用方法学主要为软件重用工程提供理论上的指导,它包括研究软件重用生命周期模型、软件重用内客、软件重用对象以及软件重用的经济因素、心理因素和社会因素等。 相似文献
10.
软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。 相似文献