基于形式规格说明的构件匹配

构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用——构件检索。     

基于构件的软件重用

本文简单介绍了可重用构件描述语言Recos,并着重讨论了可重用库的管理和基于可重用构件的软件组装问题.     

基于可重用构件库的软件重用技术

一、引言 1968年Mollroy在NATo软件工程会议上首次提出了软件重用的思想。1983年Freeman又进一步拓广了软件重用的概念,指出可重用的构件不仅可以是源代码片断,还可以是模块、设计结构     

基于构件库及构件组合的软件重用

介绍了一种具有动态组合特性的构件Ｐａｄ，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Ｐａｄ的组合规划消息传递协议，还简村介绍了一种在面向对象数据库的基础上实现构件库的方法，最后，介绍了已开发成功的一个构件重用支撑环境的原型。     

软件规格说明综述

虽然很早就提出了软件规格说明，但是，对它的研究仍需进一步深入。目前，软件规格说明了已成为计算机科学中一个相对独立的研究领域。本文从当前的研究成果出发解释了软件规格说明，介绍了软件规格说明标准，软件规格说明方法和软件规格说明表示方式。     

可重用构件及其描述语言

本文讨论可重用构件应该具备的特性，并介绍一种可重用构件描述语言Ｒｅｃｏｓ．Ｒｅｃｏｓ支持面向对象设计，而且提供功能抽象和类属机制．     

使用可重用构件合成软件

软件重用被认为是软件工程中极有前途的发展方向,对于提高软件生产率和软件质量有重要意义。目前,软件重用研究工作主要从方法学、工程和技术三方面进行。软件重用方法学主要为软件重用工程提供理论上的指导,它包括研究软件重用生命周期模型、软件重用内客、软件重用对象以及软件重用的经济因素、心理因素和社会因素等。     

从软件功能实例规格说明到软件功能形式规格说明的自动转换

软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。