Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2009

Objects, Components, Models and Patterns

47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Editors:

  1. Manuel Oriol

    1. Department of Computer Science, Heslington, University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bertrand Meyer

    1. Department of Computer Science, ETH Zurich, Zurich, Switzerland

    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 33)

Conference series link(s): TOOLS: International Conference on Objects, Components, Models and Patterns

Conference proceedings info: TOOLS EUROPE 2009.

Sections

Buy it now

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

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

Table of contents (21 papers)

  1. Front Matter

    PDF

  2. Invited Presentations

    1. On Realizing a Framework for Self-tuning Mappings

      • Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel
      Pages 1-16

  3. Reflection and Aspects

    1. CIF: A Framework for Managing Integrity in Aspect-Oriented Composition

      • Andrew Camilleri, Geoffrey Coulson, Lynne Blair
      Pages 18-36

    2. A Diagrammatic Formalisation of MOF-Based Modelling Languages

      • Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
      Pages 37-56

    3. Designing Design Constraints in the UML Using Join Point Designation Diagrams

      • Vanessa Stricker, Stefan Hanenberg, Dominik Stein
      Pages 57-76

    4. Stream-Based Dynamic Compilation for Object-Oriented Languages

      • Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
      Pages 77-95

  4. Models

    1. Algebraic Semantics of OCL-Constrained Metamodel Specifications

      • Artur Boronat, José Meseguer
      Pages 96-115

    2. Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages

      • Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen
      Pages 116-135

    3. Early Crosscutting Metrics as Predictors of Software Instability

      • José M. Conejero, Eduardo Figueiredo, Alessandro Garcia, Juan Hernández, Elena Jurado
      Pages 136-156

    4. Extensibility in Model-Based Business Process Engines

      • Mario Sánchez, Camilo Jiménez, Jorge Villalobos, Dirk Deridder
      Pages 157-174

  5. Theory

    1. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach

      • Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don Batory
      Pages 175-194

    2. A Sound and Complete Program Logic for Eiffel

      • Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer
      Pages 195-214

  6. Components

    1. A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers

      • Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt
      Pages 215-230

    2. A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks

      • Elisa Gonzalez Boix, Tom Van Cutsem, Jorge Vallejos, Wolfgang De Meuter, Theo D’Hondt
      Pages 231-251

  7. Monitoring

    1. Reusing and Composing Tests with Traits

      • Stéphane Ducasse, Damien Pollet, Alexandre Bergel, Damien Cassou
      Pages 252-271

    2. Flow-Centric, Back-in-Time Debugging

      • Adrian Lienhard, Julien Fierz, Oscar Nierstrasz
      Pages 272-288

  8. Systems Generation

    1. Fast Simulation Techniques for Design Space Exploration

      • Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
      Pages 308-327
Back to top

About this book

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

TOOLS has 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 has 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.

The 17 regular papers and two short papers presented in this book, together with two invited papers, were carefully reviewed and selected from 67 submissions.

The topics covered in this volume are reflection and aspects, models, theory, components, monitoring, and systems generation.

Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science, Heslington, University of York, York, UK

    Manuel Oriol

  • Department of Computer Science, ETH Zurich, Zurich, Switzerland

    Bertrand Meyer

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation