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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Oriol, Manuel (Editor ), Meyer, Bertrand (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Lecture Notes in Business Information Processing, 33
Temas:
Software engineering.
Computer science.
Application software.
Electronic data processing > Management.
Software Engineering.
Models of Computation.
Computer and Information Systems Applications.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares