CBSE 2007: Medford, MA, USA

Component-Based Architectures and Change

Quality of Service, Runtime Verification and Monitoring

Extra-Functional Properties and Compositional Reasoning

Web Services, Late Composition and Verification