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.