Plugins with tag "Modeling and CASE tools"

DSLTrans

A plugin to a) Build DSLTrans transformations and contracts, b) Execute those transformations on models, and c) Verify the transformations using the contract language.