TOOLS (46)

Keyphrases

Publications

2008

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

volume 11, 2008

Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings TOOLS (46) 11 (2008)