Component-based software engineering : 9th international symposium, CBSE 2006, Västerås, Sweden, June 29-July 1, 2006 : proceedings

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Defining and Checking Deployment Contracts for Software Components
3. Altmetric Badge
   Chapter 2 GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions
4. Altmetric Badge
   Chapter 3 Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System
5. Altmetric Badge
   Chapter 4 Verification of Component-Based Software Application Families
6. Altmetric Badge
   Chapter 5 Multi Criteria Selection of Components Using the Analytic Hierarchy Process
7. Altmetric Badge
   Chapter 6 From Specification to Experimentation: A Software Component Search Engine Architecture
8. Altmetric Badge
   Chapter 7 Architectural Building Blocks for Plug-and-Play System Design
9. Altmetric Badge
   Chapter 8 A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development
10. Altmetric Badge
    Chapter 9 Designing Software Architectures with an Aspect-Oriented Architecture Description Language
11. Altmetric Badge
    Chapter 10 A Component Model Engineered with Components and Aspects
12. Altmetric Badge
    Chapter 11 CBSE in Small and Medium-Sized Enterprise: Experience Report
13. Altmetric Badge
    Chapter 12 Supervising Distributed Black Boxes
14. Altmetric Badge
    Chapter 13 Generic Component Lookup
15. Altmetric Badge
    Chapter 14 Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture
16. Altmetric Badge
    Chapter 15 A Formal Component Framework for Distributed Embedded Systems
17. Altmetric Badge
    Chapter 16 A Prototype Tool for Software Component Services in Embedded Real-Time Systems
18. Altmetric Badge
    Chapter 17 Service Policy Enhancements for the OSGi Service Platform
19. Altmetric Badge
    Chapter 18 A Process for Resolving Performance Trade-Offs in Component-Based Architectures
20. Altmetric Badge
    Chapter 19 A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems
21. Altmetric Badge
    Chapter 20 Impact of Virtual Memory Managers on Performance of J2EE Applications
22. Altmetric Badge
    Chapter 21 On-Demand Quality-Oriented Assistance in Component-Based Software Evolution
23. Altmetric Badge
    Chapter 22 Components Have Test Buddies
24. Altmetric Badge
    Chapter 23 Defining “Predictable Assembly”
25. Altmetric Badge
    Chapter 24 A Tool to Generate an Adapter for the Integration of Web Services Interface
26. Altmetric Badge
    Chapter 25 A QoS Driven Development Process Model for Component-Based Software Systems
27. Altmetric Badge
    Chapter 26 An Enhanced Composition Model for Conversational Enterprise JavaBeans
28. Altmetric Badge
    Chapter 27 Dynamic Reconfiguration and Access to Services in Hierarchical Component Models
29. Altmetric Badge
    Chapter 28 MaDcAr : An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications
30. Altmetric Badge
    Chapter 29 Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring
31. Altmetric Badge
    Chapter 30 Towards Encapsulating Data in Component-Based Software Systems
32. Altmetric Badge
    Chapter 31 Virtualization of Service Gateways in Multi-provider Environments