Modeling Tools
LarCT-R
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...
Graphical Modeling Framework (GMF) - Tooling
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.
SU-statemodeler
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
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...
T3Tools - TTCN-3 Tools
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...
TOP - TDL Open Source Project
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
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...
pxDoc Capella integration
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...
Virtual Developer Modeler
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...
MetaEdit+ plugin for Eclipse
Plugin for integrating Eclipse with MetaEdit+ The MetaEdit+ plugin for Eclipse provides integration between MetaEdit+ and Eclipse. The plugin allows you to browse MetaEdit+ models...