Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions -- Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine Architecture -- Architectural Building Blocks for Plug-and-Play System Design -- A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software Architectures with an Aspect-Oriented Architecture Description Language -- A Component Model Engineered with Components and Aspects -- CBSE in Small and Medium-Sized Enterprise: Experience Report -- Supervising Distributed Black Boxes -- Generic Component Lookup -- Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture -- A Formal Component Framework for Distributed Embedded Systems -- A Prototype Tool for Software Component Services in Embedded Real-Time Systems -- Service Policy Enhancements for the OSGi Service Platform -- A Process for Resolving Performance Trade-Offs in Component-Based Architectures -- A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems -- Impact of Virtual Memory Managers on Performance of J2EE Applications -- On-Demand Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short Papers -- Defining “Predictable Assembly” -- A Tool to Generate an Adapter for the Integration of Web Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models -- MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications -- Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring -- Towards Encapsulating Data in Component-Based Software Systems -- Virtualization of Service Gateways in Multi-provider Environments.

This book constitutes the refereed proceedings of the 9th International Symposium on Component-Based Software Engineering, CBSE 2006, held in Västerås, Sweden in June/July 2006. The 22 revised full papers and 9 revised short papers presented were carefully reviewed and selected from 77 submissions. The papers cover all issues concerned with the development of software-intensive systems from reusable parts, the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. Topics addressed are architecture and design of component-based systems, components for real-time and embedded systems, combination of component-based with aspect-oriented software development, extra-functional system properties of components and component-based systems, components at work, and measurement and prediction models for component assemblies.