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.