The Z notation: a reference manual
The Z notation: a reference manual
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Specification-Based Retrieval Strategies for Module Reuse
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
SPARTACAS Automating Component Reuse and Adaptation
IEEE Transactions on Software Engineering
A formal approach to component adaptation and composition
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Classifying Software for Reusability
IEEE Software
Hi-index | 0.00 |
A number of formal approaches to component-based software development have been proposed, based on the idea of using formal specifications as a basis for retrieval. These approaches provide good recall and precision when searching for components. More recently, the problem of component adaptation has begun to be addressed, in recognition of the fact that a library component will rarely meet the needs of the user exactly. However the main weakness of the current approaches is they only cater for a single adaptation step. In reality, we typically need to apply some combination of adaptation steps. In this paper we present a collection of search tactics, which allow us to combine a sequence of matching and adaptation commands into a single step. The tactics are presented in a general manner, with the intention that they could be applied to a variety of different formal-based approaches to CBSD. We illustrate the use of the search tactics using a simple example.