Modeling Tools
ecFeed
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...
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...
Mia-Studio Community Edition
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
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 Team
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
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...
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...
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...