Report
Selecting reusable components using algebraic specifications
West Virginia University, Department of Statistics and Computer Science
05/20/1992
Abstract
A significant hurdle confronts the software reuser attempting to select candidate components from a software repository - discriminating between those components without resorting to inspection of the implementation(s). We outline a mixed classification/axiomatic approach to this problem based upon our lattice-based faceted classification technique and Guttag and Horning's algebraic specification techniques. This approach selects candidates by natural language-derived classification, by their interfaces, using signatures, and by their behavior, using axioms. We briefly outline our problem domain and related work. Lattice-based faceted classifications are described; the reader is referred to surveys of the extensive literature for algebraic specification techniques. Behavioral support for reuse queries is presented, followed by the conclusions.
Details
- Title: Subtitle
- Selecting reusable components using algebraic specifications
- Creators
- David Eichmann
- Resource Type
- Report
- Publisher
- West Virginia University, Department of Statistics and Computer Science
- Number of pages
- 12 pages
- Comment
- To appear in AMAST '91 - Proc of the Second Int. Conf. Algebraic Methodology and Software Technology, Workshops in Computing Series, Springer-Verlag, London, UK, due out 1992.
- Language
- English
- Date published
- 05/20/1992
- Academic Unit
- Library and Information Science
- Record Identifier
- 9984003006902771
Metrics
10 Record Views