Publication:
A Tool for Reusable Software Component Retrieval via Normalized Specifications

Loading...
Thumbnail Image
Authors
Steigerwald, Robert
Luqi
Berzins, Valdis
Subjects
Advisors
Date of Issue
1992
Date
Publisher
IEEE
Language
Abstract
This paper introduces the concept of reusable software component retrieval using normalized formal specifications. Reusable Ada software components are stored in a software base that supports a rapid prototyping system called CAPS (Computer Aided Prototyping System). Each component in the software base has a corresponding formal specification. A query in the form of a formal specification is used to search for candidate components that will satisfy the requirements of the query. The specification languages used are the Prototype System Description Language (PSDL) and OBJ3. Each specification is normalized to facilitate component retrieval. This paper describes the software base model, syntactic and semantic normalization, and the component retrieval mechanisms.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Other Units
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections