Objects, Components, Models and Patterns

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

Editors:

ISBN: 978-3-642-02570-9 (Print) 978-3-642-02571-6 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Presentations

    1. No Access

      Book Chapter

      Pages 1-16

      On Realizing a Framework for Self-tuning Mappings

    2. No Access

      Book Chapter

      Pages 17-17

      Programming Models for Concurrency and Real-Time

  3. Reflection and Aspects

    1. No Access

      Book Chapter

      Pages 18-36

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

    2. No Access

      Book Chapter

      Pages 37-56

      A Diagrammatic Formalisation of MOF-Based Modelling Languages

    3. No Access

      Book Chapter

      Pages 57-76

      Designing Design Constraints in the UML Using Join Point Designation Diagrams

    4. No Access

      Book Chapter

      Pages 77-95

      Stream-Based Dynamic Compilation for Object-Oriented Languages

  4. Models

    1. No Access

      Book Chapter

      Pages 96-115

      Algebraic Semantics of OCL-Constrained Metamodel Specifications

    2. No Access

      Book Chapter

      Pages 116-135

      Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages

    3. No Access

      Book Chapter

      Pages 136-156

      Early Crosscutting Metrics as Predictors of Software Instability

    4. No Access

      Book Chapter

      Pages 157-174

      Extensibility in Model-Based Business Process Engines

  5. Theory

    1. No Access

      Book Chapter

      Pages 175-194

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

    2. No Access

      Book Chapter

      Pages 195-214

      A Sound and Complete Program Logic for Eiffel

  6. Components

    1. No Access

      Book Chapter

      Pages 215-230

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

    2. No Access

      Book Chapter

      Pages 231-251

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

  7. Monitoring

    1. No Access

      Book Chapter

      Pages 252-271

      Reusing and Composing Tests with Traits

    2. No Access

      Book Chapter

      Pages 272-288

      Flow-Centric, Back-in-Time Debugging

    3. No Access

      Book Chapter

      Pages 289-307

      A Classification Framework for Pointcut Languages in Runtime Monitoring

  8. Systems Generation

    1. No Access

      Book Chapter

      Pages 308-327

      Fast Simulation Techniques for Design Space Exploration

    2. No Access

      Book Chapter

      Pages 328-347

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

  9. Short Papers

    1. No Access

      Book Chapter

      Pages 348-356

      Using Grammarware Languages to Define Operational Semantics of Modelled Languages

  10. Back Matter

    Pages -

previous Page of 2