Introduction

Abstract

Although the idea of a software component stems back to the end of the sixties, the component-based software engineering established itself to an dedicated research area during the end nineties. Nowadays, in particular the research in component models which is motivated by the verification and quality prediction of component-based systems forms such a large body of research with a plethora of specific and creative ideas that it is hard to keep the overview. Several conference and workshop series are dedicated to formal component models and their use in verification and quality prediction, such as FMCO, CBSE, FESCA, FACS and QoSA. The organisers of CoCoME came independently to the finding, that these component models are hard to compare, as each research group concentrate on different aspects of formal component modelling and quality prediction.