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 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
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
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