MegaMart2 IDE
The overall approach of MegaM@Rt2 is to scale up the use of model-based techniques by offering proper methods and related tooling interacting between both design time and runtime...
Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical...
Ecore Documentation Generator is a small utility for adding documentation to EMF metamodels (Ecore and Genmodel files) and generating HTML or LaTeX output.
With YAKINDU Statechart Tools, you can easily create complex systems in a visual way. Simulate and test your system’s behavior already while you are modeling. Code generators...
ModelBus is a model-driven tool integration framework which allows you to build a seamlessly integrated tool environment for your system engineering process.
GMF-Tooling is back in Juno. By defining a tooling, graphical and mapping model definition, one can generate a fully functional graphical editor in Eclipse.
The Application Model Editor provides enhanced support for defining and refining Eclipse 4 model definition files (usually with an extension of .e4xmi). One particularly nifty...
The user may easily create a diagram (and the corresponding business model along with it) as part of any JPA-enabled project and may view and edit the model through this diagram...
A jACT-R extension that uses RDF as its internal data-structure and allows LarKC workflows to be run from jACT-R models. jACT-R is a Java native implementation of the ACT-R...
EMF Validation Builder is an eclipse plugin that automates the validation process (“on save” validation). By default, EMF doesn't validate an EMF resource when it is saved (like...
EMF To Graphviz (emf2gv) allows to generate a graphical representation of an EMF model (using GraphViz utility). It may be considered as a lightweight readonly alternative to GMF...