A formal approach to component adaptation and composition

Abstract

Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is that CBSE has not been widely adopted. From a technical perspective, the reason is largely due to the di#culty of locating suitable components in the library and adapting these components to meet the specific needs of the user.