Toward Scalable Software Engineering Disciplines

9311702 Weide Zweben Ogden这项研究解决了阻碍软件系统开发的技术问题，作为现成的可重用组件的组装。 在定义组件工程原则和开发可互操作组件集合方面取得了实质性进展。 每个组件的设计都是为了实现最大的可重用性，并且在包含在组件库中之前，都要经过质量控制程序，通过该程序，它被证明具有某些属性：与正式规范相关的正确性，不存在存储泄漏，基本的效率水平，组件认证的目的是给潜在的客户提供关键的保证，即组件确实适合重用。 这项工作的主要目标是： * 确定本地可认证性对于从高质量组件获得高质量软件系统的过程至关重要或有利的特定属性。 * 准确地确定和陈述客户端程序和它所使用的其他组件必须具备的特性，以保证本地认证的组件在客户端上下文中的行为与所宣传的一样。 * 研究软件的各种重要属性的本地认证的具体技术。 ***

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. ***