Limit search to available items
Book Cover
Author CBSE 2007 (2007 : Medford, Mass.)

Title Component-based software engineering : 10th international symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007 ; proceedings / Heinz W. Schmidt [and others] (eds.)
Published Berlin : Springer, 2007
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xii, 282 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4608
Lecture notes in computer science ; 4608. 0302-9743
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
Summary This book constitutes the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, 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. The papers are organized in topical sections on component-based architectures and change, quality of service, runtime verification and monitoring, extra-functional properties and compositional reasoning, as well as Web services, late composition and verification
Bibliography Includes bibliographical references and author index
Notes Print version record
Subject Software engineering -- Congresses.
Component software -- Development -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Schmidt, Heinz-W., 1952-
LC no. 2007930208
ISBN 9783540735519
Other Titles CBSE 2007