46. TOOLS 2008: ETH Zurich, Switzerland

• Michael L. Brodie:
  The End of the Computing Era: Hephaestus Meets the Olympians. 1
  
• Pavel Parizek, Frantisek Plasil:
  Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. 2-21
  
• Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
  Efficient Model Checking of Networked Applications. 22-40
  
• Philipp Bouillon, Eric Großkinsky, Friedrich Steimann:
  Controlling Accessibility in Agile Projects with the Access Modifier Modifier. 41-59
  
• Friedrich Steimann, Thomas Eichstädt-Engelen, Martin Schaaf:
  Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors. 60-79
  
• Yuri Phink, Amiram Yehudai:
  Virtual Machine Support for Stateful Aspects. 80-99
  
• Tal Cohen, Joseph Gil, Itay Maman:
  Guarded Program Transformations Using JTL. 100-120
  
• Martin Kuhlemann, Sven Apel, Marko Rosenmüller, Roberto E. Lopez-Herrejon:
  A Multiparadigm Study of Crosscutting Modularity in Design Patterns. 121-140
  
• José Eduardo Rivera, Antonio Vallecillo:
  Representing and Operating with Model Differences. 141-160
  
• Anders Bach Nielsen, Erik Ernst:
  Optimizing Dynamic Class Composition in a Statically Typed Language. 161-177
  
• Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom:
  Ownership, Uniqueness, and Immutability. 178-197
  
• Lorenzo Bettini, Viviana Bono, Betti Venneri:
  Object Incompleteness and Dynamic Composition in Java-Like Languages. 198-217
  
• Marcus Denker, Mathieu Suen, Stéphane Ducasse:
  The Meta in Meta-object Architectures. 218-237
  
• Stefan Leue, Alin Stefanescu, Wei Wei:
  An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. 238-257
  
• Guillaume Grondin, Noury Bouraqadi, Laurent Vercouter:
  Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software. 258-277
  
• Emine G. Aydal, Mark Utting, Jim Woodcock:
  A Comparison of State-Based Modelling Tools for Model Validation. 278-296
  
• Holger Krahn, Bernhard Rumpe, Steven Völkel:
  MontiCore: Modular Development of Textual Domain Specific Languages. 297-315
  
• Martin Nordio, Peter Müller, Bertrand Meyer:
  Proof-Transforming Compilation of Eiffel Programs. 316-335
  
• Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel:
  Engineering Associations: From Models to Code and Back through Semantics. 336-355
  
• Judith Bishop, R. Nigel Horspool:
  On the Efficiency of Design Patterns Implemented in C# 3.0. 356-371
  
• Michael Strommer, Manuel Wimmer:
  A Framework for Model Transformation By-Example: Concepts and Tool Support. 372-391
  
• Roberto Acerbis, Aldo Bongio, Marco Brambilla, Stefano Butti, Stefano Ceri, Piero Fraternali:
  Web Applications Design and Development with WebML and WebRatio 5.0. 392-411