ON SPECIFICATION OF REUSABLE SOFTWARE COMPONENTS-Reference-Cited by-同舟云学术

ON SPECIFICATION OF REUSABLE SOFTWARE COMPONENTS

Published:1993-06 Issue:02 Volume:03 Page:207-229
ISSN:0218-1940
Container-title:International Journal of Software Engineering and Knowledge Engineering
language:en
Short-container-title:Int. J. Soft. Eng. Knowl. Eng.

Author:

SITARAMAN MURALI¹,WELCH LONNIE R.²,HARMS DOUGLAS E.³

Affiliation:

1. Department of Statistics and Computer Science, West Virginia University, P.O. Box 6330, Morgantown, WV 26506, USA

2. The Real-Time Computing Laboratory, Department of Computer and Information Science, New Jersey Institute of Technology, Newark, NJ 07102, USA

3. Department of Mathematics and Computer Science, Muskingum College, New Concord, OH 43762, USA

Abstract

For widespread reuse in a component-based software industry, a component must be designed and developed to be reused. Benefits of reuse are maximized when a component is reused “as is” (possibly with provisions for expected customization, such as through parameters), based only on its specification. The expression of the specification of a component is crucial in this setting. The specification must be formal, yet understandable, as well as abstract and implementation-independent. The specification also must make it possible to demonstrate correctness of an implementation of the specification and permit formal reasoning about its behavior in a client program. This paper explains how it is possible to write specifications with these properties in RESOLVE, a conceptual framework that we have developed for constructing reusable software components.

Publisher

World Scientific Pub Co Pte Lt

Subject

Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218194093000100

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enhancements – Enabling Flexible Feature and Implementation Selection;Software Reuse: Methods, Techniques, and Tools;2004

2. A framework for practical, automated black-box testing of component-based software;Software Testing, Verification and Reliability;2001

3. A System for Predictable Component-Based Software Construction;The Kluwer International Series in Engineering and Computer Science;2001

4. Enhancing the pre- and postcondition technique for more expressive specifications;FM’99 — Formal Methods;1999

5. On the practical need for abstraction relations to verify abstract data type representations;IEEE Transactions on Software Engineering;1997-03