Emmanuel Gaudin
CEO
PragmaDev
Paris, France
39 profile visitsVirtual Participant
My organisation
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.
About me
My organisation
PragmaDev
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.
Additional questions
Choose the D2-02 calls you're interested in
HORIZON-CL5-2024-D2-02-01: Sustainable high-throughput production processes for stable lithium metal anodes for next generation batteries (Batt4EU Partnership)
Choose the D3-02 calls you're interested in
HORIZON-CL5-2024-D3-02-01: Digital tools for CSP and solar thermal plants
Choose the D6-01 calls you're interested in
HORIZON-CL5-2024-D6-01-01: Centralised, reliable, cyber-secure & upgradable invehicle electronic control architectures for CCAM connected to the cloud-edge continuum