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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Oriol, Manuel (Επιμελητής έκδοσης), Meyer, Bertrand (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Business Information Processing, 33
• Θέματα: Computer science.; Software engineering.; Computers.; Management information systems.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Models and Principles.; Information Systems Applications (incl. Internet).; Management of Computing and Information Systems.

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

Πίνακας περιεχομένων:

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