PragmaDev
About
PragmaDev provides two lines of product: 1) 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. 2) PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies such as SDL, SDL-RT, MSC, PSC, ASN.1, TTCN-3, UML, and SysML.
Destination 02: Cross-sectoral solutions for the climate transition
Destination 03: Sustainable, secure and competitive energy supply
Destination 06: Safe, Resilient Transport and Smart Mobility services for passengers and goods