Description: PragmaDev provides tools to verify and optimize business processes and to specify and design communicating systems.
model (3940) tool (1805) modeling (1438) business process (254) bpmn (99) sdl-rt (2) sdlrt (2) bpsim (1) pragmadev (1)
For the verification and optimisation of business processes. 4 independent and integrated modules to specify , design , test , and trace communicating systems: Free download here . In a few words PragmaDev provides two lines of product: PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify and optimise their models. It integrates a BPMN editor, an executor, an explorer, and a simulator. PragmaDev Studio is a tool to specify and design communicating systems.
Verification and optimisation of business processes. Free download here . 4 independent and integrated modules to specify , design , test , and trace communicating systems: Free download here . In a few words PragmaDev provides two lines of product: PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to define, to verify and to optimise their models. It integrates a BPMN editor, an executor, an explorer, and a BPSim simulator. PragmaDev Studio is a tool to specify
PragmaList - PragmaDev and CEA LIST common laboratory
Technical topic: OpenGEODE, an SDL editor for TASTE - TASTE
Embed Technologies Pvt Ltd.
Technical topic: OpenGEODE, an SDL editor for TASTE - TASTE