Hosted events



Social events


Call for papers






About us

Contact us



Sponsored by

Google logo















chair of software engineering logo

eth logo

Important dates

Technical papers: February 8, 2009

Author notification: March 8, 2009

Camera-ready copy: March 31, 2009

Workshop proposals: February 15, 2009

Workshop notification: March 1, 2009

Tutorial proposals: February/March, 2009

Tutorial notification: March/April, 2009

Conference: June 29th - July 3rd 2009

Co-located events

ICMT 2009 International Conference on Model Transformation

SC 2009 International Conference on Software Composition

SEAFOOD 2009 Software Engineering Approaches For Offshore and Outsourced Development . 2-3 July

TAP 2009 Third International conference on Tests and Proofs


























TOOLS and all collocated events will take place in the ETH main building (Hauptgebäude, or in short HG). The diagram below shows on what dates and in which rooms each event will take place. The TOOLS detailed program follows. For the programs of all other events, please check their respective web sites.

A pdf-file with the collected conference programs is now available (will also be distributed at the conference).

29 June
30 June
1 July
2 July
3 July



GraBaTs (HG F33.1, E26.1, E27)

Tutorial (HG F33.5)
SC (HG F3)


TAP (HG F26.5)

The room names are composed of a letter and a number. The letter represents the floor: E is the ground floor, F is the first floor, etc. The numbers identify the rooms on the floors.

TOOLS Program

All the TOOLS sessions will take place in room F30 of the ETH main building.

Monday, 29 June 2009

See ICMT 2009.

Tuesday, 30 June 2009

09:15-09:30 Welcome
09:30-10:30 Keynote: Gerti Kappel, Vienna University of Technology
10:30-11:00 Coffee break
11:00-13:00 Reflection and Aspects
  • Andrew Camilleri, Geoffrey Coulson and Lynne Blair. CIF: A Framework for Managing Integrity in Aspect-Oriented Composition
  • Adrian Rutle, Alessandro Rossini, Uwe Wolter and Yngve Lamo. A Diagrammatic Formalisation of MOF-Based Modelling Languages
  • Vanessa Stricker, Stefan Hanenberg and Dominik Stein. Designing Design Constraints in the UML using Join Point Designation Diagrams
  • Michael Bebenita, Mason Chang, Andreas Gal and Michael Franz. Stream-Based Dynamic Compilation for Object-Oriented Languages
13:00-14:30 Lunch
14:30-15:30 Joint session TOOLS and ICMT
15:30-16:30 TOOLS short papers
  • Daniel A. Sadilek and Guido Wachsmuth. Using Grammarware Languages to Define Operational Semantics of Modelled Languages
  • Helen Treharne, Edward Turner, Richard Paige and Dimitrios Kolovos. Automatic generation of integrated formal models corresponding to UML system models
16:30-17:00 Coffee break

The ICMT 2009 sessions will take place in parallel to the TOOLS sessions.

Wednesday, 1 July 2009

09:30-10:30 Keynote: Jan Vitek, Purdue University
10:30-11:00 Coffee break
11:00-13:00 Models
  • Artur Boronat and José Meseguer. Algebraic Semantics of OCL-constrained Metamodel Specifications
  • Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers and Wouter Joosen. Specifying and Executing Concerns Expressed in Domain-Specific Modeling Languages
  • Jose M. Conejero, Eduardo Figueiredo, Alessandro Garcia, Juan Hernandez and Elena Jurado. Early Crosscutting Metrics as Predictors of Software Instability
  • Mario Sanchez, Camilo Jimenez, Jorge Villalobos and Dirk Deridder. Extensibility in Model-based Business Process Engines
13:00-14:30 Lunch
14:30-15:30 TBD
15:30-16:30 Theory
  • Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann and Don Batory. Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent Approach
  • Martin Nordio, Cristiano Calcagno, Peter Müller and Bertrand Meyer. A Sound and Complete Program Logic for Eiffel
16:30-17:00 Coffee break
17:00-18:00 Components
  • Olivier Caron, Bernard Carré, Alexis Muller and Gilles Vanwormhoudt. A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers
  • Elisa Gonzalez Boix, Tom Van Cutsem, Jorge Vallejos, Wolfgang De Meuter and Theo D'Hondt. A Leasing Model to Deal with Partial Failures in Mobile Ad hoc Networks
19:00-23:00 Conference dinner at the restaurant Die Waid (included in the registration for all participants)

The GraBaTs workshop will take place in parallel to the TOOLS sessions.

The tutorial Testing techniques and processes in theory and practice will take place in the afternoon in parallel to the TOOLS sessions.

Thursday, 2 July 2009

09:30-10:30 Keynote (SC 2009): Paul Klint, University of Amsterdam
10:30-11:00 Coffee break
11:00-12:30 Monitoring
  • Adrian Lienhard, Julien Fierz and Oscar Nierstrasz. Flow-Centric, Back-In-Time Debugging
  • Karl Klose and Klaus Ostermann. A Classification Framework for Pointcut Languages in Runtime Monitoring
  • Stéphane Ducasse, Alexandre Bergel, Damien Cassou and Damien Pollet. Reusing Protocol Tests with Traits
13:00-14:30 Lunch
14:30-16:30 Round table [to be confirmed]
16:30-17:00 Coffee break
17:00-18:00 Systems Generation
  • Daniel Knorreck, Ludovic Apvrille and Renaud Pacalet. Fast Simulation Techniques for Design Space Exploration
  • Camillo Bruni, and Toon Verwaest. PyGirl: Generating Whole-System VMs from high-level prototypes using PyPy

The SC 2009, SEAFOOD 2009 and TAP 2009 sessions will take place in parallel to the TOOLS sessions.

Friday, 3 July 2009

See SC 2009, SEAFOOD 2009, TAP 2009.