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