Program
The numbers within parentheses refer to the various rooms in which TOOLS and the co-located conferences will take place. All the rooms are located in the ETH Main Building (HG). The letters in the room references refer to the floors. The Uhrenhalle, where the coffee breaks will take place, is located on the opposite side of the F floor with respect to the auditorium F30.
Monday 30 June
| 8:30-9:30 | Registration Desk (In front of F30) | |
| 9:30-10:30 | Keynote: Michael Brodie (F30) | |
| 10:30-11:00 | Coffee Break (Uhrenhalle) | |
| Session: Objects (F30) | ||
| 11:00-11:30 | Marcus Denker, Mathieu Suen and Stephane Ducasse. The Meta in Meta-object Architectures | Web 2.0 Pattern Mining Workshop (D3.2) |
| 11:30-12:00 | Lorenzo Bettini, Viviana Bono and Betti Venneri. Object incompleteness and dynamic composition in Java-like languages | |
| 12:00-12:30 | Anders Bach Nielsen and Erik Ernst. Dynamic Class Composition in a Statically Typed Language | |
| 12:30-13:00 | Johan Östlund, Tobias Wrigstad, Dave Clarke and Beatrice Ånkerblom. Ownership, Uniqueness, and Immutability | |
| 13:00-14:30 | Lunch (Dozenten Foyer, on top of the main building) | |
| 14:30-15:30 | Keynote: Michael Mahemoff (Web 2.0 Pattern Mining workshop keynote speaker) (F30) | |
| 15:30-16:00 | Friedrich Steimann, Thomas Eichstadt-Engelen and Martin Schaaf. Towards Raising the Failure of Unit Tests to the Level of Compiler Errors | Web 2.0 Pattern Mining Workshop (D3.2) |
| 16:00-16:30 | Coffee Break (Uhrenhalle) | |
| Session: Models 1 (F30) | ||
| 16:30-17:00 | Martin Nordio, Peter Müller and Bertrand Meyer. Proof-Transforming Compilation of Eiffel Programs | Web 2.0 Pattern Mining Workshop (D3.2) |
| 17:00-17:30 | Jose E. Rivera and Antonio Vallecillo. Representing and Operating with Model Differences | |
| 17:30-18:00 | Holger Krahn, Bernhard Rumpe and Steven Völkel. MontiCore: Modular Development of Textual Domain Specific Languages | |
| Evening | TOOLS and SEAFOOD Conference Dinner (Uto Kulm Restaurant) |
Tuesday 1 July
| 8:30-9:30 | Registration Desk (In front of F30) | |||
| 9:30-10:30 | Keynote: Krzysztof Czarnecki (ICMT 2008 keynote speaker) (F30) | |||
| 10:30-11:00 | Coffee Break (Uhrenhalle) | |||
| Session: Components (F30) | ||||
| 11:00-11:30 | Yuri Phink and Amiram Yehudai. Virtual Machine support for Stateful Aspects | Web 2.0 Pattern Mining Workshop (D3.2) |
Tutorial by Joe Kiniry et al. (E41) |
(F1) |
| 11:30-12:00 | Guillaume Grondin, Noury Bouraqadi and Laurent Vercouter. Component Reassembling and State Transfer in MaDcAr-based Self-Adaptive Software | |||
| 12:00-12:30 | Pavel Parizek and Frantisek Plasil. Modeling of Component Environment in Presence of Callbacks and Autonomous Activities | |||
| 12:30-13:00 | Philippe Bouillon, Eric Grosskinsky and Friedrich Steimann. Controlling Accessibility in Agile Projects with the Access Modifier Modifier | |||
| 13:00-14:30 | Lunch (Dozenten Foyer, on top of the main building) | |||
| 14:30-15:30 | Keynote:Erik Meijer (F30) | |||
| 15:30-16:00 | Tutorial by Oscar Nierstrasz (E21) |
Web 2.0 Pattern Mining Workshop (D3.2) |
Tutorial by Joe Kiniry et al. (E41) |
(F1) |
| 16:00-16:30 | Coffee Break (Uhrenhalle) | |||
| 16:30-18:00 | Tutorial by Oscar Nierstrasz (E21) |
Web 2.0 Pattern Mining Workshop (D3.2) |
Tutorial by Joe Kiniry et al. (E41) |
(F1) |
| Evening | ICMT Conference Dinner (Dozenten Foyer) | |||
Wednesday 2 July
| 8:30-9:30 | Registration Desk (In front of F30) | |
| 9:30-10:30 | Keynote: John Mylopoulos (F30) | |
| 10:30-11:00 | Coffee Break (Uhrenhalle) | |
| Session: Patterns & Program Transformation (F30) | ||
| 11:00-11:30 | Martin Kuhlemann, Sven Apel, Marko Rosenmueller and Roberto Erick Lopez-Herrejon. A Multiparadigm Study of Crosscutting Modularity in Design Patterns |
(F1) |
| 11:30-12:00 | Judith Bishop and Nigel Horspool. On the Efficiency of Design Patterns Implemented in C# 3.0 | |
| 12:00-12:30 | Tal Cohen, Yossi Gil and Itay Maman. Guarded Program Transformations using JTL | |
| 12:30-13:00 | Stefan Leue, Alin Stefanescu and Wei Wei. An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT | |
| 13:00-14:30 | Lunch (Dozenten Foyer, on top of the main building) | |
| Session: Verification and Validation (F30) | ||
| 14:30-15:00 | Cyrille Valentin Artho, Watcharin Leungwattanakit, Masami Hagiya and Yoshinori Tanabe. Efficient Model Checking of Networked Applications |
(F1) |
| 15:00-15:30 | ||
| 15:30-16:00 | Emine Aydal, Mark Utting and Jim Woodcock. A Comparison of State-based Modelling Tools for Model Validation | |
| 16:00-16:30 | Coffee Break (Uhrenhalle) | |
| Session: Models 2 (F30) | ||
| 16:30-17:00 | Zinovy Diskin, Steve Easterbrook and Juergen Dingel. Engineering associations: from models to code through semantics |
(F1) |
| 16:30-17:00 | Roberto Acerbis, Aldo Bongio, Marco Brambilla, Stefano Butti, Stefano Ceri and Piero Fraternali. Web applications design and development with WebML and WebRatio 5.0 | |
| 17:30-18:00 | Michael Strommer and Manuel Wimmer. A Framework for Model Transformation By-Example: Concepts and Tool Support | |
Thursday 3 July
| 8:30-9:30 | Registration Desk (In front of F30) | |||
| 9:30-10:30 | Seafood Keynote: Dick Simmons (F30) |
Tutorial by Tony Clark (E41) |
Tutorial by Dov Dori (D3.2) |
MDABIZ 2008 Workshop (F1) |
| 10:30-11:00 | Coffee Break (Uhrenhalle) | |||
| 11:00-13:00 |
(F30) |
Tutorial by Tony Clark (E41) |
Tutorial by Dov Dori (D3.2) |
MDABIZ 2008 Workshop (F1) |
| 13:00-14:30 | Lunch (Dozenten Foyer, on top of the main building) | |||
| 14:30-16:00 |
(F30) |
Tutorial by Judith Bishop, Nigel Horspool (E41) |
Tutorial by Dov Dori (D3.2) |
MDABIZ 2008 Workshop (F1) |
| 16:00-16:30 | Coffee Break (Uhrenhalle) | |||
| 16:30-
17:15
17:30-18:30 |
Industry Panel (*) (F30) |
Tutorial by Judith Bishop, Nigel Horspool
(E41) |
Tutorial by Dov Dori
(D3.2) |
MDABIZ 2008 Workshop
(F1) |
Friday 4 July
| 8:30-9:30 | Registration Desk (In front of F30) |
| 9:30-10:30 | Seafood Keynote: Ashish Arora (F30) |
| 10:30-11:00 | Coffee Break (Uhrenhalle) |
| 11:00-13:00 | Seafood Session 5 (F30) |
| 13:00-14:30 | Lunch (Dozenten Foyer, on top of the main building) |
| 14:30-16:00 | Seafood Session 6 (F30) |
| 16:00-16:30 | Coffee Break (Uhrenhalle) |
| 16:30-17:00 | Seafood Summary, conclusion and perspectives: Mathai Joseph (F30) |
(*) The SEAFOOD Industry Panel will discuss outsourcing and the future of software engineering.
Panel chair:
* Peter KolbPanelists:
* Dr. Mario Crameri, Head IT, Bank Julius Baer, Zurich
* Fredi Schmid, Head of Sourcing Services, Global IT, Swiss Re, Zurich
* Bartek Truszkiewicz, Head of Group Applications, IS Delivery Center, ABB Poland, Krakow
* René Bosshart, Credit Suisse, Zurich