Objects, Components, Models and Patterns

Invited Presentations.- On Realizing a Framework for Self-tuning Mappings.- Programming Models for Concurrency and Real-Time.- Reflection and Aspects.- CIF: A Framework for Managing Integrity in Aspect-Oriented Composition.- A Diagrammatic Formalisation of MOF-Based Modelling Languages.- Designing Design Constraints in the UML Using Join Point Designation Diagrams.- Stream-Based Dynamic Compilation for Object-Oriented Languages.- Models.- Algebraic Semantics of OCL-Constrained Metamodel Specifications.- Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages.- Early Crosscutting Metrics as Predictors of Software Instability.- Extensibility in Model-Based Business Process Engines.- Theory.- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach.- A Sound and Complete Program Logic for Eiffel.- Components.- A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers.- A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks.- Monitoring.- Reusing and Composing Tests with Traits.- Flow-Centric, Back-in-Time Debugging.- A Classification Framework for Pointcut Languages in Runtime Monitoring.- Systems Generation.- Fast Simulation Techniques for Design Space Exploration.- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy.- Short Papers.- Using Grammarware Languages to Define Operational Semantics of Modelled Languages.- Automatic Generation of Integrated Formal Models Corresponding to UML System Models.