Model-Driven Software Development

Chapter 1 Introduction: Models, Modeling, and Model-Driven Architecture (MDA)

Chapter 2 A Systematic Look at Model Transformations

Chapter 3 Tool Support for Model-Driven Development of Security-Critical Systems with UML

Chapter 4 Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools

Chapter 5 Using Graph Transformation for Practical Model-Driven Software Engineering

Chapter 6 A Generalized Notion of Platforms for Model-Driven Development

Chapter 7 A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns

Chapter 8 Automatically Discovering Transitive Relationships in Class Diagrams

Chapter 9 Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine

Chapter 10 A Testing Framework for Model Transformations

Chapter 11 Parallax — An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware

Chapter 12 Evolution and Maintenance of MDA Applications

Chapter 13 Intents and Upgrades in Component-Based High-Assurance Systems

Chapter 14 On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications

Chapter 15 An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems

Chapter 16 A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism

Chapter 17 Model-Driven Service Engineering

Chapter 18 Practical Insights into Model-Driven Architecture: Lessons from the Design and Use of an MDA Toolkit