Emmanuel Gaudin

CEO

PragmaDev

Paris, France

39 profile visitsVirtual Participant

PragmaDev specialises in the verification and optimisation of models. We implemented this on communication models and on business processes models.

My organisation

PragmaDev

PragmaDev

Company (SME)

Paris, France

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.
Read more

About me

I am originally a software developer specialised in telecommunications. I have been working on models for the last 30 years. I started PragmaDev 20 years ago to implement some of my expertise in practical and affordable tools.

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.

Social media

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