A Tool for Reusable Software Component Retrieval via Normalized Specifications
Loading...
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)
Organization
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.