46. TOOLS 2008: ETH Zurich, Switzerland

Richard F. Paige, Bertrand Meyer (Eds.): Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing 11 Springer 2008, ISBN 978-3-540-69823-4 BibTeX

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