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

Bibliographic Details
Other Authors: Schmidt, Heinz G. (Editor), Crnkovic, Ivica (Editor), Heineman, George T. (Editor), Stafford, Judith A. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Edition:1st ed. 2007
Series:Programming and Software Engineering
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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