Model Driven Engineering (MDE) is a flexible approach for the creation and evolution of
software systems, centred around models and their transformations. MDE provides a …

The work presented in this paper addresses the general problem of verifying if models
structurally compliant to a given meta-model also satisfy the constraints specified on it …

This paper presents a strategy to facilitate the customization of MDSE software development
environments, which aims at providing the software engineers who design, implement and …