Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Lewis, Grace A. (Επιμελητής έκδοσης), Poernomo, Iman (Επιμελητής έκδοσης), Hofmeister, Christine (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5582
• Θέματα: Computer science.; Computer software > Reusability.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Performance and Reliability.; Logics and Meanings of Programs.

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...

Πίνακας περιεχομένων:

• 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.