Design, Specification, and Implementation of Reusable Software Components

软件工程师面临的两个最重要的问题是如何提高软件产品的质量，以及如何提高软件开发人员的生产率。工程设计的一个支柱--可重用性--解决了这两个问题，并有望带来潜在的巨大经济效益。这项研究集中在面向数据的可复用软件部件的各个技术方面。研究目标是确定如何编写可重用软件的正式规范，以使它们立即为人类所理解并适合用于正确性认证(通过验证和测试)；确定构建这些部分的有效实现的一般方法；以及探索用于设计、构建和实例化软件组件的方法、语言和系统的可重用性的后果。

Two of the most important problems facing software engineers are how to improve the quality of their software products,and how to improve the productivity of people who build them. A mainstay of engineering design - reusability - attacks both problems and promises potentially huge economic benefits. This study concentrates on various technical aspects of data-oriented reusable software parts. The research objectives are to determine how formal specifications for reusable software can be written so they are at once understandable by humans and suitable for use in certification of correctness (through verification and testing); to identify general ways to build efficient implementations of such parts; and to explore the ramifications of reusability for the methodologies, languages, and systems used to design, build, and instantiate software components.