Component-Based Software Engineering

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.