47. TOOLS 2009: ETH Zurich, Switzerland

Manuel Oriol, Bertrand Meyer (Eds.): Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Lecture Notes in Business Information Processing 33 Springer 2009, ISBN 978-3-642-02570-9

Invited Presentations

Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel:
On Realizing a Framework for Self-tuning Mappings. 1-16
Jan Vitek:
Programming Models for Concurrency and Real-Time. 17

Andrew Camilleri, Geoffrey Coulson, Lynne Blair:
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition. 18-36
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Diagrammatic Formalisation of MOF-Based Modelling Languages. 37-56
Vanessa Stricker, Stefan Hanenberg, Dominik Stein:
Designing Design Constraints in the UML Using Join Point Designation Diagrams. 57-76
Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz:
Stream-Based Dynamic Compilation for Object-Oriented Languages. 77-95

Artur Boronat, José Meseguer:
Algebraic Semantics of OCL-Constrained Metamodel Specifications. 96-115
Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen:
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages. 116-135
José María Conejero, Eduardo Figueiredo, Alessandro Garcia, Juan Hernández, Elena Jurado:
Early Crosscutting Metrics as Predictors of Software Instability. 136-156
Mario Sánchez, Camilo Jiménez, Jorge Villalobos, Dirk Deridder:
Extensibility in Model-Based Business Process Engines. 157-174

Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory:
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. 175-194
Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer:
A Sound and Complete Program Logic for Eiffel. 195-214

Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt:
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers. 215-230
Elisa Gonzalez Boix, Tom Van Cutsem, Jorge Vallejos, Wolfgang De Meuter, Theo D'Hondt:
A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks. 231-251

Stéphane Ducasse, Damien Pollet, Alexandre Bergel, Damien Cassou:
Reusing and Composing Tests with Traits. 252-271
Adrian Lienhard, Julien Fierz, Oscar Nierstrasz:
Flow-Centric, Back-in-Time Debugging . 272-288
Karl Klose, Klaus Ostermann:
A Classification Framework for Pointcut Languages in Runtime Monitoring. 289-307

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet:
Fast Simulation Techniques for Design Space Exploration. 308-327
Camillo Bruni, Toon Verwaest:
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy. 328-347

Daniel A. Sadilek, Guido Wachsmuth:
Using Grammarware Languages to Define Operational Semantics of Modelled Languages. 348-356
Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos:
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. 357-367