Users increasingly demand more from their software than ever before—more features, fewer errors, faster runtimes. To deliver the best quality products possible

Covers important concepts, issues, trends, methodologies, and technologies in quality assurance for model-driven software development.

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of m

Model-driven software development drastically alters the software development process, which is characterized by a high degree of innovation and productivity. E

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of deve