CBSE 2009: East Stroudsburg, PA, USA

Grace A. Lewis, Iman Poernomo, Christine Hofmeister (Eds.): Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Lecture Notes in Computer Science 5582 Springer 2009, ISBN 978-3-642-02413-9

Component Models: Taxonomies and Applications

Dominik Birkmeier, Sven Overhage:
On Component Identification Approaches - Classification, State of the Art, and Comparison. 1-18
Kung-Kiu Lau, Faris M. Taweel:
Domain-Specific Software Component Models. 19-35
Ivica Crnkovic, Ivano Malavolta, Henry Muccini:
A Model-Driven Engineering Framework for Component Models Interoperability. 36-53

Ehsan Kouroshfar, Hamed Yaghoubi Shahir, Raman Ramsin:
Process Patterns for Component-Based Software Development. 54-68
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, Franck Chauvel:
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support. 69-86
Tomás Poch, Frantisek Plasil:
Extracting Behavior Specification of Components in Legacy Applications. 87-103
Kiev Gama, Didier Donsez:
Towards Dynamic Component Isolation in a Service Oriented Platform. 104-120

Kung-Kiu Lau, Mario Ornaghi:
Control Encapsulation: A Calculus for Exogenous Composition of Software Components. 121-139
Mark Bickford:
Component Specification Using Event Classes. 140-155
Jewgenij Botaschanjan, Alexander Harhurin:
Integrating Functional and Architectural Views of Reactive Systems. 156-172

Séverine Sentilles, Petr Stepan, Jan Carlson, Ivica Crnkovic:
Integration of Extra-Functional Properties in Component Models. 173-190
Michael Hauck, Michael Kuperberg, Klaus Krogmann, Ralf Reussner:
Modelling Layered Component Execution Environments for Performance Prediction. 191-208
Frédéric Loiret, Juan Navas, Jean-Philippe Babau, Olivier Lobry:
Component-Based Real-Time Operating System for Embedded Applications. 209-226

Ian Gorton, Jared Chase, Adam Wynne, Justin Almquist, Alan Chappell:
Services + Components = Data Intensive Scientific Workflow Applications with MeDICi. 227-241
Joseph R. Kiniry, Fintan Fairmichael:
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. 242-261
George T. Heineman:
Unit Testing of Software Components with Inter-component Dependencies. 262-273