Objects, Components, Models and Patterns

46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

  • Editors
  • Richard F. Paige
  • Bertrand Meyer
Conference proceedings TOOLS EUROPE 2008

DOI: 10.1007/978-3-540-69824-1

Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 11)

Table of contents (22 papers)

  1. Front Matter
  2. Efficient Model Checking of Networked Applications
    Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
    Pages 22-40
  3. Controlling Accessibility in Agile Projects with the Access Modifier Modifier
    Philipp Bouillon, Eric Großkinsky, Friedrich Steimann
    Pages 41-59
  4. Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors
    Friedrich Steimann, Thomas Eichstädt-Engelen, Martin Schaaf
    Pages 60-79
  5. Virtual Machine Support for Stateful Aspects
    Yuri Phink, Amiram Yehudai
    Pages 80-99
  6. Guarded Program Transformations Using JTL
    Tal Cohen, Joseph (Yossi) Gil, Itay Maman
    Pages 100-120
  7. A Multiparadigm Study of Crosscutting Modularity in Design Patterns
    Martin Kuhlemann, Sven Apel, Marko Rosenmüller, Roberto Lopez-Herrejon
    Pages 121-140
  8. Representing and Operating with Model Differences
    José E. Rivera, Antonio Vallecillo
    Pages 141-160
  9. Optimizing Dynamic Class Composition in a Statically Typed Language
    Anders Bach Nielsen, Erik Ernst
    Pages 161-177
  10. Ownership, Uniqueness, and Immutability
    Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom
    Pages 178-197
  11. Object Incompleteness and Dynamic Composition in Java-Like Languages
    Lorenzo Bettini, Viviana Bono, Betti Venneri
    Pages 198-217
  12. The Meta in Meta-object Architectures
    Marcus Denker, Mathieu Suen, Stéphane Ducasse
    Pages 218-237
  13. An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
    Stefan Leue, Alin Ştefănescu, Wei Wei
    Pages 238-257
  14. Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software
    Guillaume Grondin, Noury Bouraqadi, Laurent Vercouter
    Pages 258-277
  15. A Comparison of State-Based Modelling Tools for Model Validation
    Emine G. Aydal, Mark Utting, Jim Woodcock
    Pages 278-296
  16. MontiCore: Modular Development of Textual Domain Specific Languages
    Holger Krahn, Bernhard Rumpe, Steven Völkel
    Pages 297-315
  17. Proof-Transforming Compilation of Eiffel Programs
    Martin Nordio, Peter Müller, Bertrand Meyer
    Pages 316-335
  18. Engineering Associations: From Models to Code and Back through Semantics
    Zinovy Diskin, Steve Easterbrook, Juergen Dingel
    Pages 336-355

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008.

The 21 papers presented in this book were carefully reviewed and selected from 58 submissions.

TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry. 


WebML agile software development component-based software development design design pattern domain specific modeling model checking model transformation model-driven software development modeling object-oriented software development program transformation software design patterns validation web application dev

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69823-4
  • Online ISBN 978-3-540-69824-1
  • Series Print ISSN 1865-1348
  • Series Online ISSN 1865-1356