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 |
Analysis |
programmeren |
|
programming |
|
computerwetenschappen |
|
computer sciences |
|
computernetwerken |
|
computer networks |
|
programmeertalen |
|
programming languages |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and author index |
Notes |
Print version record |
In |
Springer e-books |
Subject |
Software engineering -- Congresses
|
|
Component software -- Development -- Congresses
|
|
Informatique.
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Schmidt, Heinz-W., 1952-
|
ISBN |
9783540735519 |
|
3540735518 |
|
354073550X |
|
9783540735502 |
|