Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, held in Medford, MA, USA in July 2007. The 19 revised full papers presented were carefully reviewed and selected from 89 submissions. The papers feature new trends in global software services and distributed systems architectures to push the limits of established and tested component-based methods, tools and platforms.

Inhalt

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.