Skip to main content
SpringerLink
Log in
Book cover

Objects, Components, Models and Patterns

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

  • Conference proceedings
  • © 2009

Overview

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)

Included in the following conference series:

Conference proceedings info: TOOLS EUROPE 2009.

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 (21 papers)

  1. Front Matter

    Download chapter 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

    2. Programming Models for Concurrency and Real-Time

      • Jan Vitek
      Pages 17-17

  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

    3. A Classification Framework for Pointcut Languages in Runtime Monitoring

      • Karl Klose, Klaus Ostermann
      Pages 289-307

  8. Systems Generation

    1. Fast Simulation Techniques for Design Space Exploration

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

    2. PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy

      • Camillo Bruni, Toon Verwaest
      Pages 328-347
Back to top

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation