Toward Scalable Software Engineering Disciplines

[311702]魏德·兹韦文·奥格登本研究解决了阻碍软件系统作为现成的可重用组件的组合开发的技术问题。在定义组件工程原理和开发可互操作组件集合方面已经取得了实质性进展。每个组件都是为了最大限度的可重用性而设计的，并且在包含在组件库中之前，都要经过质量控制程序的检验，通过这些程序来认证它具有某些属性：与正式规范相关的正确性、免于存储泄漏、基本的效率水平等。组件认证的目的是为潜在客户提供关键保证，确保组件真正适合重用。该工作的主要目标是：*确定本地可认证性对从高质量组件获得高质量软件系统的过程至关重要或有利的特定属性。*准确地确定和说明客户程序及其使用的其他组件必须具备的特征，以便保证本地认证组件在该客户环境中按照广告的方式运行。*研究软件各种重要属性的本地认证的具体技术。＊＊＊

9311702 Weide Zweben Ogden This research addresses the technical problems impeding the development of software systems as assemblages of off-the- shelf reusable components. Substantial progress has been made in defining component engineering principles and in developing a collection of interoperable components. Each component is designed for maximal reusability and, before inclusion in a component library, is subjected to quality control procedures by which it is certified to have certain properties: correctness with respect to a formal specification, freedom from storage leaks, an essential level of efficiency, etc. The purpose of a component's certification is to give prospective clients critical assurance that the component is truly suitable for reuse. The primary goals of the work are to: * Identify specific properties for which local certifiability is essential or advantageous to the process of obtaining high-quality software systems from high-quality components. * Determine and state precisely those characteristics that a client program and the other components it employs must possess, in order that locally certified components can be guaranteed to behave as advertised in that client's context. * Investigate specific techniques for the local certification of various important properties of software. ***