The latest release from Visual Paradigm, the Smart Development Environment (SDE) 3.0 for IntelliJ IDEA, is now available and well-tested in platforms including Linux,...
A plugin to a) Build DSLTrans transformations and contracts, b) Execute those transformations on models, and c) Verify the transformations using the contract language.