Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008. The 20 revised full papers and 3 short papers presented were carefully reviewed and selected from 70 submissi...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edition: | 1st ed. 2008. |
| Series: | Programming and Software Engineering ;
5282 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-87891-9 |
Table of Contents:
- Performance Engineering
- Automating Performance Analysis from Taverna Workflows
- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction
- Deploying Software Components for Performance
- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models
- Extra-Functional Properties: Security and Energy
- Validating Access Control Configurations in J2EE Applications
- Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms
- Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems
- Formal Methods and Model Checking
- Synthesis of Connectors from Scenario-Based Interaction Specifications
- State Space Reduction Techniques for Component Interfaces
- Model Checking of Control-User Component-Based Parametrised Systems
- Verification Techniques
- Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
- Structural Testing of Component-Based Systems
- Towards Component-Based Design and Verification of a ?-Controller
- Run-Time Infrastructures
- ESCAPE: A Component-Based Policy Framework for Sense and React Applications
- Experiences from Developing a Component Technology Agnostic Adaptation Framework
- A Practical Approach for Finding Stale References in a Dynamic Service Platform
- Methods of Design and Development
- Towards a Systematic Method for Identifying Business Components
- Life-Cycle Aware Modelling of Software Components
- A Component Selection Framework for COTS Libraries
- Opportunistic Reuse: Lessons from Scrapheap Software Development
- Component Models
- A Component Model for Control-Intensive Distributed Embedded Systems
- The CoSi Component Model: Reviving the Black-Box Nature of Components
- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems.