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. It integrates four different tools based on international standard technologies. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. PragmaDev Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a stand alone tracing tool that is also integrated in the other modules.

PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Nokia, ST, ABB, the French Army, the European Space Agency, Toshiba, Korean Telecom, or LG Electronics.


News and events RSS

Jul 12, 2023 - PragmaDev is co-organizing a conference day on Industry 4.0 with solution providers gathered by the chamber of commerce.

Jun 28, 2023 - PragmaDev is a member of France Innovation network.

Mar 20, 2023 - Resource optimization on line demo with PragmaDev Process.

Mar 13, 2023 - Resource optimization webinar with PragmaDev Process: Replay.

Feb 21, 2023 - PragmaDev Process V3.0 to manage resources.

Feb 15, 2023 - System Analysis and Modelling (SAM 2023) - Call for paper under the theme Languages, Methods, and Tools for AI, digital twins, and no code.

Nov 15, 2022 - PragmaDev support pages are now publicly available.

Sep 28, 2022 - PragmaDev will exhibit at Sido Paris on Nov 8-9.