A tool to support agile model-based d . . .
A tool to support agile model-based development using UML. . .
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 . . .
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.. . .
Xtend is a statically-typed programmi . . .
Xtend is a statically-typed programming languages for Java developers. It leverages Java's typesystem and reuses its syntax as far as possible, but cuts down the amount of boilerplate you have to write. It compiles to readable Java source code and supports advanced languag . . .
BOTL is a tool for object-oriented mo . . .
BOTL is a tool for object-oriented model transformations. It offers the ability to use graphical description techniques and algorithmic descriptions integrated to graphically define a set of mapping rules.. . .