Blick ins Buch

Objects, Components, Models and Patterns

46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

Richard F. Paige, Bertrand Meyer (Herausgeber)

Buch | Softcover

X, 413 Seiten

2008 | 2008
Springer Berlin (Verlag)
978-3-540-69823-4 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Artikel merken

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. TOOLS 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 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 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 sharp 3.0.- A Framework for Model Transformation By-Example: Concepts and Tool Support.- Web Applications Design and Development with WebML and WebRatio 5.0.

Erscheint lt. Verlag	19.6.2008
Reihe/Serie	Lecture Notes in Business Information Processing
Zusatzinfo	X, 413 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	646 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Agile software development • component-based software development • Design • Design Pattern • domain specific modeling • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Model Checking • model-driven software development • Modeling • model transformation • object-oriented software development • Program Transformation • software design patterns • UML • Validation • web application dev • Web Application Development • WebML
ISBN-10	3-540-69823-X / 354069823X
ISBN-13	978-3-540-69823-4 / 9783540698234
Zustand	Neuware