Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Identifying and Qualifying Reusable Software Components
Computer - Special issue on cryptography
Semantics of order-sorted specifications
Theoretical Computer Science
Exploiting reusable specifications through analogy
Communications of the ACM
An order-sorted logic for knowledge representation systems
Artificial Intelligence
Strongest postcondition semantics as the formal basis for reverse engineering
Reverse engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Using Formal Methods to Construct a Software Component Library
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
Automated Support for Framework Selection and Customization
Proceedings of the 19th IEEE international conference on Automated software engineering
Heuristics for automated knowledge source integration and service composition
Computers and Operations Research
A knowledge-based framework for extracting components in agile systems development
Information Technology and Management
A survey of component based system quality assurance and assessment
Information and Software Technology
Multi criteria selection of components using the analytic hierarchy process
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Automated knowledge source selection and service composition
Computational Optimization and Applications
| Hi-index | 0.00 |
Using formal specifications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the search, retrieval, and modification of reusable software components. From a two-tiered hierarchy of reusable software components, the existing components that are analogous to the query specification are retrieved from the hierarchy. The specification for an analogous retrieved component is compared to the query specification to determine what changes need to be applied to the corresponding program component in order to make it satisfy the query specification.