GROOVE is a project centered around t . . .
GROOVE is a project centered around the use of simple graphs for modeling the design-time, compile-time, and run-time structure of object-oriented systems, and graph transformations as a basis for model transformation and operational semantics.. . .
Echo is a tool for model repair and t . . .
Echo is a tool for model repair and transformation based on the Alloy model finder, with support for bidirectional model transformations. It is able to both check and recover, through minimal updates, both intra- and inter-model consistency, and is built over the Eclipse Model . . .
MOMoT is a framework that combines mo . . .
MOMoT is a framework that combines model-driven engineering (MDE) techniques with search-based optimization (population-based search and local search) to solve highly complex problems on model level.. . .
A tool to support agile model-based d . . .
A tool to support agile model-based development using UML. . .