Model transformation testing and debugging: A survey
Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …
manipulate and construct models. As a consequence, the correctness of software systems …
The relevance of model-driven engineering thirty years from now
Although model-driven engineering (MDE) is now an established approach for develo**
complex software systems, it has not been universally adopted by the software industry. In …
complex software systems, it has not been universally adopted by the software industry. In …
A survey of model-driven techniques and tools for cyber-physical systems
Cyber-physical systems (CPSs) have emerged as a potential enabling technology to handle
the challenges in social and economic sustainable development. Since it was proposed in …
the challenges in social and economic sustainable development. Since it was proposed in …
Model transformation modularization as a many-objective optimization problem
Model transformation programs are iteratively refined, restructured, and evolved due to
many reasons such as fixing bugs and adapting existing transformation rules to new …
many reasons such as fixing bugs and adapting existing transformation rules to new …
Static analysis of model transformations
Model transformations are central to Model-Driven Engineering (MDE), where they are used
to transform models between different languages; to refactor and simulate models; or to …
to transform models between different languages; to refactor and simulate models; or to …
Software language engineering in the large: towards composing and deriving languages
Suitable software languages are crucial to tackling the ever-increasing complexity of
software engineering processes and software products. They model, specify, and test …
software engineering processes and software products. They model, specify, and test …
Spectrum-based fault localization in model transformations
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they
provide the essential mechanisms for manipulating and transforming models. The …
provide the essential mechanisms for manipulating and transforming models. The …
Mashup of metalanguages and its implementation in the kermeta language workbench
With the growing use of domain-specific languages (DSL) in industry, DSL design and
implementation goes far beyond an activity for a few experts only and becomes a …
implementation goes far beyond an activity for a few experts only and becomes a …
Automated inference of likely metamorphic relations for model transformations
Abstract Model transformations play a cornerstone role in Model-Driven Engineering (MDE)
as they provide the essential mechanisms for manipulating and transforming models …
as they provide the essential mechanisms for manipulating and transforming models …
Addressing modularity for heterogeneous multi-model systems using model federation
Model-Driven Engineering (MDE) proposes to modularize complex software-intensive
systems using multiple models where each module serves a specific concern. These …
systems using multiple models where each module serves a specific concern. These …