Abstract The Unified Modeling Language (UML) is the de facto language used in the
industry for software specifications. Once an application has been specified, Model Driven …

A lo largo de estos años hemos visto surgir el Desarrollo de Software Dirigido por Modelos
(MDD) como una nueva área dentro el campo de la ingeniería de software. MDD plantea …

Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …

We present a framework based on the Calculus of Inductive Constructions (CIC) and its
associated tool the Coq proof assistant to allow certification of model transformations in the …

This thesis addresses the problem of integrated and uniform programmatic model
management in Model Driven Engineering (MDE). An MDE process typically involves a …

The development of complex event-driven systems requires studies and analysis prior to
deployment with the goal of detecting unwanted behavior. UML is a language widely used …

Abstract The Unified Modeling Language (UML) is widely considered as the defacto
standard for the design of Object Oriented systems. UML class diagrams are used to depict …

Model-driven engineering (MDE) promotes automated model transformations along the
entire development process. Guaranteeing the quality of early models is essential for a …

[en] Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern
design processes as they enable the effective involvement of domain experts by focusing on …

This paper presents ongoing work on the application of constructive type theory for safe
development in Model-Driven Engineering. In particular, we put into practice a certification …