Invited Presentations |
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel |
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek |
Reflection and Aspects |
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition / Andrew Camilleri ; Geoffrey Coulson ; Lynne Blair |
A Diagrammatic Formalisation of MOF-Based Modelling Languages / Adrian Rutle ; Alessandro Rossini ; Yngve Lamo ; Uwe Wolter |
Designing Design Constraints in the UML Using Join Point Designation Diagrams / Vanessa Stricker ; Stefan Hanenberg ; Dominik Stein |
Stream-Based Dynamic Compilation for Object-Oriented Languages / Michael Bebenita ; Mason Chang ; Andreas Gal ; Michael Franz |
Models |
Algebraic Semantics of OCL-Constrained Metamodel Specifications / Artur Boronat ; José Meseguer |
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages / Aram Hovsepyan ; Stefan Van Baelen ; Yolande Berbers ; Wouter Joosen |
Early Crosscutting Metrics as Predictors of Software Instability / José M. Conejero ; Eduardo Figueiredo ; Alessandro Garcia ; Juan Hernández ; Elena Jurado |
Extensibility in Model-Based Business Process Engines / Mario Sánchez ; Camilo Jiménez ; Jorge Villalobos ; Dirk Deridder |
Theory |
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach / Christian Kästner ; Sven Apel ; Salvador Trujillo ; Martin Kuhlemann ; Don Batory |
A Sound and Complete Program Logic for Eiffel / Martin Nordio ; Cristiano Calcagno ; Peter Müller ; Bertrand Meyer |
Components |
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers / Olivier Caron ; Bernard Carré ; Alexis Muller ; Gilles Vanwormhoudt |
A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks / Elisa Gonzalez Boix ; Tom Van Cutsem ; Jorge Vallejos ; Wolfgang De Meuter ; Theo D'Hondt |
Monitoring |
Reusing and Composing Tests with Traits / Stéphane Ducasse ; Damien Pollet ; Alexandre Bergel ; Damien Cassou |
Flow-Centric, Back-in-Time Debugging / Adrian Lienhard ; Julien Fierz ; Oscar Nierstrasz |
A Classification Framework for Pointcut Languages in Runtime Monitoring / Karl Klose ; Klaus Ostermann |
Systems Generation |
Fast Simulation Techniques for Design Space Exploration / Daniel Knorreck ; Ludovic Apvrille ; Renaud Pacalet |
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy / Camillo Bruni ; Toon Verwaest |
Short Papers |
Using Grammarware Languages to Define Operational Semantics of Modelled Languages / Daniel A. Sadilek ; Guido Wachsmuth |
Automatic Generation of Integrated Formal Models Corresponding to UML System Models / Helen Treharne ; Edward Turner ; Richard F. Paige ; Dimitrios S. Kolovos |
Author Index |
Invited Presentations |
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel |
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek |