Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings

Component-Based Architectures and Change.- Data Encapsulation in Software Components.- Binary Change Set Composition.- Automated and Unanticipated Flexible Component Substitution.- Dynamic Adaptation of Aspect-Oriented Components.- Component Based Game Development – A Solution to Escalating Costs and Expanding Deadlines?.- Quality of Service, Runtime Verification and Monitoring.- Performance Assessment for e-Government Services: An Experience Report.- An Approach for QoS Contract Negotiation in Distributed Component-Based Software.- A Study of Execution Environments for Software Components.- Monitoring Architectural Properties in Dynamic Component-Based Systems.- Extra-Functional Properties and Compositional Reasoning.- A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems.- Performance-Driven Interface Contract Enforcement for Scientific Components.- Integration of Time Issues into Component-Based Applications.- Slicing of Component Behavior Specification with Respect to Their Composition.- An Execution-Level Component Composition Model Based on Component Testing Information.- Web Services, Late Composition and Verification.- Capturing Web Services Provider Constraints – An Algorithmic Approach.- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL.- Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems.- A Framework for Contract-Based Collaborative Verification and Validation of Web Services.- Towards Composing Software Components in Both Design and Deployment Phases.