Practical New-Generation Reusable Software Components

这项研究是继续以前的NSF支持的研究，以解决 阻碍软件重用进程的各种技术问题。 已经开发了一种综合的再利用方法， 人们编写可重用组件的正式规范， 使用验证和测试来证明其正确性，并 为它们构建特别有效的实现。 整体 该项目的目的是展示一个新的实用性， 生成正式指定的、经过认证的、高效的可重用 软件组件。 具体来说，研究人员打算设计 可理解的正式规范的代表性样本 通用可重用软件组件;展示如何使用这些组件 规范来验证和测试两者的正确性 这些模块及其客户端的实现;并应用 几种新颖的数据结构和算法， 这些组件的实现。 成功完成 该项目将包括其成果（1）正式目录 可重用软件组件的规范， 正确和有效的实现，以及（2）“设计手册” 包含开发其他可重复使用的 组件以类似的方式。

This research is to continue prior NSF supported research to address various technical problems that impede progress toward software reuse. A comprehensive approach to reuse has been developed, which permits people to write formal specifications of reusable components, to certify their correctness using both verification and testing, and to build particularly efficient implementations for them. The overall objective of this project is to demonstrate the practicality of a new generation of formally specified, certified, and efficient reusable software components. Specifically, the researchers intend to design understandable formal specifications for a representative sample of general-purpose reusable software components; to show how to use these specifications to verify and to test the correctness of both implementations of these modules and their clients; and to apply several novel data structures and algorithms to build efficient implementations of these components. Successful completion of the project will include among its results (1) a catalog of formal specifications of reusable software components having certifiably correct and efficient implementations, and (2) a "handbook of design" containing explicit guidelines for developing other reusable components in a similar way.