Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings

The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. In line with a broad interest, CBSE 2010 received 48 submissions. From these submissions, 14 were accepted after a careful peer-review process followed by an online program committee discussion. This resulted in an acceptance rate of 29%. The selected technical papers are published in this volume. For the fourth time, CBSE 2010 was held as part of the conference series: Fed- ated Events on Component-Based Software Engineering and Software Archit- ture (COMPARCH). The federated events were: the 13th International S- posium on Component-Based Software Engineering (CBSE 2010), the 6th - ternational Conference on the Quality of Software Architectures (QoSA 2010), andthe1stInternationalSymposium onArchitecting CriticalSystems(ISARCS 2010). Together with COMPARCH’s Industrial Experience Report Track and the co-located Workshop on Component-Oriented Programming (WCOP 2010), COMPARCH provided a broad spectrum of events related to components and architectures.

Component-Based Embedded Systems.- Reliability Analysis of Component-Based Systems with Multiple Failure Modes.- Comparison of Component Frameworks for Real-Time Embedded Systems.- A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks.- Bridging the Semantic Gap between Abstract Models of Embedded Systems.- Component-Based Adaptive Systems.- Reliable Dynamic Reconfigurations in a Reflective Component Model.- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model.- Enabling on Demand Deployment of Middleware Services in Componentized Middleware.- A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution.- Component Interfaces, Contracts and Adapters of Component-Based Systems.- Component Contracts in Eclipse - A Case Study.- Automated Creation and Assessment of Component Adapters with Test Cases.- An Empirical Study of the Component Dependency Resolution Search Space.- Composition and (De)-composition of Component-Based Systems.- Component Composition Using Feature Models.- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces.- (Behavioural) Design Patterns as Composition Operators.