Modeling Tools
MoRE Player - PL/I
Interactive Objects Software presents "MoRE Player - PL/I", the first product within our new product-line "MoRE Players". "MoRE Player - PL/I" is an Eclipse-Plugin for the...
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...
OpenRules
OpenRules is an open source full-scale Business Decision Management System that is based on commonly used tools such Eclipse IDE, Java, and MS Excel or Google Docs. OpenRules...
ProR Essentials
ProR is the Open Source reference implementation of the open ReqIF standard, the exchange format for requirements. ProR Essentials are free extensions for ProR, which make working...
pxDoc
Generate Word documents from Java. A highly extensible framework, fully integrated in Eclipse. A very simple language to generate high quality Word documents With only 30 keywords...
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...
pxDoc Papyrus integration
The pxDoc Papyrus integration provides a ready-to-use integration of pxDoc for Eclipse Papyrus. INSTALLATION - Before installing the pxDoc-Papyrus Integration, please first install...
pxDoc Sirius integration
The pxDoc Sirius integration provides a ready-to-use integration of pxDoc for Eclipse Sirius. INSTALLATION - Before installing the pxDoc-Sirius Integration, please first install...
SCXML2PauWare
This is an Eclipse [1] plugin that enables to use the tool bar, the menu bar, the context menu or a keyboard shortcut in order to transform a state machine conforming to the SCXML...