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...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Colección: | Programming and Software Engineering,
5582 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.