Supporting component-based reuse in CARE
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Retrieving reusable components with variation points from software product lines
Information Processing Letters
Semi-Automated Component-Based Development of Formally Verified Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Analogy-Based Learning How to Construct an Object Model
ISNN '07 Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
Abstract: Formal specifications have been proposed as a basis for accessing reusable components from libraries, and various fine-grained specification-matching approaches have been developed to assist in searching libraries. Typically, however, the granularity of matching has been too fine for reuse to be effective. Compounding the problem is the fact that coarse-grained items usually require adaptation be-fore reuse. This paper explains some of the problems and presents a generic solution to a key problem: adaptation of modules through parameter instantiation and subsetting. It shows how unit-matching strategies can be lifted to module level in a generic fashion.