Objects, Components, Models and Patterns
32%
off

Objects, Components, Models and Patterns : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Volume editor  , Volume editor 

Free delivery worldwide

Available. Dispatched from the UK in 1 business day
When will my order arrive?

Description

For the past 20 years the TOOLS conferences have continuously spread new technologies in the world of object-orientation, component technology and so- ware engineering in general. They constitute a particularly important forum for software researchers and practitioners to present work that relies on producing tools. This year's TOOLS continued the tradition and presented a strong program thatincluded originalcontributionsin allmajor?elds ofthe object-orientedp- adigm. As in TOOLS 2008, the concept of model occupied a considerable place; but other topics such as re?ection,aspects, modelling languages,debugging,and virtual machines design were also strongly represented. While most conferences had a decrease in the number of submitted papers, TOOLS made the choice of quality and decided to lower its acceptance rate to 25%,asa ?xedmaximumannouncedin the Callfor Papers.Out of67submitted contributions, the reviewing process led to the selection of 17 as full papers. For the ?rst time, two short papers were also accepted for presentation at the conference.
show more

Product details

  • Paperback | 369 pages
  • 155 x 235 x 20.32mm | 587g
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Berlin, Germany
  • English
  • 2009 ed.
  • XIII, 369 p.
  • 3642025706
  • 9783642025709

Back cover copy

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.
show more

Table of contents

Invited Presentations.- On Realizing a Framework for Self-tuning Mappings.- Programming Models for Concurrency and Real-Time.- Reflection and Aspects.- CIF: A Framework for Managing Integrity in Aspect-Oriented Composition.- A Diagrammatic Formalisation of MOF-Based Modelling Languages.- Designing Design Constraints in the UML Using Join Point Designation Diagrams.- Stream-Based Dynamic Compilation for Object-Oriented Languages.- Models.- Algebraic Semantics of OCL-Constrained Metamodel Specifications.- Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages.- Early Crosscutting Metrics as Predictors of Software Instability.- Extensibility in Model-Based Business Process Engines.- Theory.- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach.- A Sound and Complete Program Logic for Eiffel.- Components.- A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers.- A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks.- Monitoring.- Reusing and Composing Tests with Traits.- Flow-Centric, Back-in-Time Debugging.- A Classification Framework for Pointcut Languages in Runtime Monitoring.- Systems Generation.- Fast Simulation Techniques for Design Space Exploration.- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy.- Short Papers.- Using Grammarware Languages to Define Operational Semantics of Modelled Languages.- Automatic Generation of Integrated Formal Models Corresponding to UML System Models.
show more