Component-based Software Engineering 12th International Symposium Cbse 2009 E

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.