GEMOC Studio
The GEMOC Studio provides generic components through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling languages. This includes...
Actifsource is a code generator plug-in for the Eclipse IDE. Code generation is driven by models which are created according to user-defined meta-models. UML-like graphic editor...
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...
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...
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...
S(imple) U(ML)-statemodeler enables you to develop state-based software systems with only little programming effort. The application is easy to use and does not require any...
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...
A critical issue in developing TTCN-3 test suites is the readability, consistency, maintainability, and documentation of Testing and Test Control Notation version 3 (TTCN-3) code...
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...
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...
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...