You are here

Automated Reusable Software component Search and Retrieval

Award Information
Agency: Department of Defense
Branch: Army
Contract: N/A
Agency Tracking Number: 32852
Amount: $69,997.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: N/A
Timeline
Solicitation Year: N/A
Award Year: 1996
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
9430 Research Blvd Echelon Iv, Suite 250
Austin, TX 78759
United States
DUNS: N/A
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Raymond T. Yeh
 (512) 338-4774
Business Contact
Phone: () -
Research Institution
N/A
Abstract

The proposed research seeks to develop an automated method for searching a reuse reposing or and retrieving reusable software components using algebraic specifications. Each component in the repository has an associated algebraic specification that describes both the type signature of its interface and its computational behavior. The OBJ3 language and system is used to do equational reasoning via term rewriting to efficiently support component searching based upon both type matching and behavior matching. This approach is capable of filtering out all components whose interface or computational behavior is incompatible with the query. This greatly improves the selectivity of component retrieval and reduces human effort required to identify the useful components in the set of components retrieved by a query. The new methods enable effective use of large software repositories by improving the useful yield of queries and reducing the amount of knowledge users must have about repository contents and organization. This approach also helps improve repository component quality by enabling more effective automated testing.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government