Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /

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

This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions...

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

• The End of the Computing Era: Hephaestus Meets the Olympians
• Modeling of Component Environment in Presence of Callbacks and Autonomous Activities
• Efficient Model Checking of Networked Applications
• Controlling Accessibility in Agile Projects with the Access Modifier Modifier
• Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors
• Virtual Machine Support for Stateful Aspects
• Guarded Program Transformations Using JTL
• A Multiparadigm Study of Crosscutting Modularity in Design Patterns
• Representing and Operating with Model Differences
• Optimizing Dynamic Class Composition in a Statically Typed Language
• Ownership, Uniqueness, and Immutability
• Object Incompleteness and Dynamic Composition in Java-Like Languages
• The Meta in Meta-object Architectures
• An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
• Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software
• A Comparison of State-Based Modelling Tools for Model Validation
• MontiCore: Modular Development of Textual Domain Specific Languages
• Proof-Transforming Compilation of Eiffel Programs
• Engineering Associations: From Models to Code and Back through Semantics
• On the Efficiency of Design Patterns Implemented in C# 3.0
• A Framework for Model Transformation By-Example: Concepts and Tool Support
• Web Applications Design and Development with WebML and WebRatio 5.0.