Skip to main content
SpringerLink
Log in

Objects, Components, Models and Patterns

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Richard F. Paige
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bertrand Meyer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: TOOLS EUROPE 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. The End of the Computing Era: Hephaestus Meets the Olympians

    • Michael L. Brodie
    Pages 1-1

  3. Modeling of Component Environment in Presence of Callbacks and Autonomous Activities

    • Pavel Parizek, Frantisek Plasil
    Pages 2-21

  4. Efficient Model Checking of Networked Applications

    • Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
    Pages 22-40

  5. Controlling Accessibility in Agile Projects with the Access Modifier Modifier

    • Philipp Bouillon, Eric Großkinsky, Friedrich Steimann
    Pages 41-59

  6. 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

  7. Virtual Machine Support for Stateful Aspects

    • Yuri Phink, Amiram Yehudai
    Pages 80-99

  8. Guarded Program Transformations Using JTL

    • Tal Cohen, Joseph (Yossi) Gil, Itay Maman
    Pages 100-120

  9. A Multiparadigm Study of Crosscutting Modularity in Design Patterns

    • Martin Kuhlemann, Sven Apel, Marko Rosenmüller, Roberto Lopez-Herrejon
    Pages 121-140

  10. Representing and Operating with Model Differences

    • José E. Rivera, Antonio Vallecillo
    Pages 141-160

  11. Optimizing Dynamic Class Composition in a Statically Typed Language

    • Anders Bach Nielsen, Erik Ernst
    Pages 161-177

  12. Ownership, Uniqueness, and Immutability

    • Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Ã…kerblom
    Pages 178-197

  13. Object Incompleteness and Dynamic Composition in Java-Like Languages

    • Lorenzo Bettini, Viviana Bono, Betti Venneri
    Pages 198-217

  14. The Meta in Meta-object Architectures

    • Marcus Denker, Mathieu Suen, Stéphane Ducasse
    Pages 218-237

  15. An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT

    • Stefan Leue, Alin Åžtefănescu, Wei Wei
    Pages 238-257

  16. Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software

    • Guillaume Grondin, Noury Bouraqadi, Laurent Vercouter
    Pages 258-277

  17. A Comparison of State-Based Modelling Tools for Model Validation

    • Emine G. Aydal, Mark Utting, Jim Woodcock
    Pages 278-296

  18. MontiCore: Modular Development of Textual Domain Specific Languages

    • Holger Krahn, Bernhard Rumpe, Steven Völkel
    Pages 297-315

  19. Proof-Transforming Compilation of Eiffel Programs

    • Martin Nordio, Peter Müller, Bertrand Meyer
    Pages 316-335

  20. Engineering Associations: From Models to Code and Back through Semantics

    • Zinovy Diskin, Steve Easterbrook, Juergen Dingel
    Pages 336-355
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation