Conceptual Foundations of Model-Driven Development.- A Systematic Look at Model Transformations.- Tool Support for Model-Driven Development of Security-Critical Systems with UML.- Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools.- Using Graph Transformation for Practical Model-Driven Software Engineering.- A Generalized Notion of Platforms for Model-Driven Development.- Introduction: Models, Modeling, and Model-Driven Architecture (MDA).- Technical Infrastructure of Model-Driven Development.- A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns.- Automatically Discovering Transitive Relationships in Class Diagrams.- Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine.- A Testing Framework for Model Transformations.- Parallax — An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware.- Evolution and Maintenance of MDA Applications.- Case Studies.- Intents and Upgrades in Component-Based High-Assurance Systems.- On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications.- An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems.- A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism.- Model-Driven Service Engineering.- Practical Insights into Model-Driven Architecture: Lessons from the Design and Use of an MDA Toolkit.