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.
Les mer
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. This work contains papers that are organized in topical sections on component-based architectures and change, quality of service and runtime verification and monitoring.
Les mer
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.
Les mer
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783540735502
Publisert
2007-06-29
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet