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...
ecFeed is a tool for modelling generating and executing tests. Test cases are modeled as a classification tree. Extensive constraints provide a way to specify relationships between...
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...
Mia-Studio is a solution to create your own model-to-text or model-to-model transformations. Model-to-text transformations are created using templates based on a very simple syntax...
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...
Obeo Designer allows you to easily create your own graphical modeling workbenches for specific domains (industrial systems, software applications or the organization of major...
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 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...
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...
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...