Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technolog...
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | |
Other Authors: | , , |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Edition: | 1st ed. 2009. |
Series: | Programming and Software Engineering,
5582 |
Subjects: | |
Online Access: | Texto Completo |
Table of Contents:
- Component Models: Taxonomies and Applications
- On Component Identification Approaches - Classification, State of the Art, and Comparison
- Domain-Specific Software Component Models
- A Model-Driven Engineering Framework for Component Models Interoperability
- Component Integration: Patterns and Profiling
- Process Patterns for Component-Based Software Development
- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
- Extracting Behavior Specification of Components in Legacy Applications
- Towards Dynamic Component Isolation in a Service Oriented Platform
- Communication and Composition
- Control Encapsulation: A Calculus for Exogenous Composition of Software Components
- Component Specification Using Event Classes
- Integrating Functional and Architectural Views of Reactive Systems
- Extra-Functional Analysis
- Integration of Extra-Functional Properties in Component Models
- Modelling Layered Component Execution Environments for Performance Prediction
- Component-Based Real-Time Operating System for Embedded Applications
- Components within the Development Life Cycle
- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi
- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
- Unit Testing of Software Components with Inter-component Dependencies.