Information System Designer
Information System Designer provides a set of tools to help you in the design and the development of applications. It brings a complete development environment based on and...
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...
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...
K3 (Kermeta 3) is an action language build on top of the Xtend programming language in order to use it for executable metamodeling. Its key feature allows to "re-open" classes of...
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...
eMoflon::TIE-GT is a code generator that generates fully EMF-compliant Java code from Ecore meta-models. Compared to other EMF code generators, you can even specify the...
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.
Dart Designer is a graphical tool for Dart Developers. It allows you to specify your Dart application directly from Eclipse thanks to several kinds of diagrams (Class, Explorer...
The Test Description Language (TDL) is a new language for the specification of test descriptions and the presentation of test execution results. There is a methodology gap between...
The pxDoc Capella integration provides a ready-to-use integration of pxDoc for Capella. INSTALLATION - Before installing the pxDoc-Capella Integration, please first install: Xtext...
The "Virtual Developer Modeler" is a generic modeling tool based on EMFText. It is shipped with one single DSL-editor. With its built-in gapp-DSL you can define your own DSLs that...