PragmaDev

PragmaDev is a software editor proposing: 1) PragmaDev Process to verify and optimize process 2) PragmaDev Studio to specify and design communicating software.

[PragmaDev @PragmaDevParis]

PragmaDev Studio V6.1 introduces advanced state space reduction capabilities for faster and more efficient model exploration.

https://t.co/xOb9LMpyyR

[PragmaDev @PragmaDevParis]

PragmaDev will participate to the B2B meetings at the Paris Air Forum on June 12, 2026.

[PragmaDev @PragmaDevParis]

Check the video of the presentation of our paper "Enhancing Simulation and Analysis of Aircraft Operational Scenarios via SysML Activity Diagram to BPMN Transformation"written in collaboration with Airbus at ERTS 2026 conference on February 6, 2026.
https://t.co/1S1g1OLpPx

[PragmaDev @PragmaDevParis]

PragmaDev will be part of the ERTS Congress (Embedded Real-Time Systems) exhibition and will co-present a paper on "Enhancing Simulation and Analysis of Aircraft Operational Scenarios via SysML Activity Diagram to BPMN Transformation" with Airbus.
https://t.co/XEfualCTBx

[PragmaDev @PragmaDevParis]

New version of PragmaDev Process with improved critical path and extended process description is now available.

https://t.co/HKvx5zW0T6

[PragmaDev @PragmaDevParis]

New paper now published !
https://t.co/rbfiZHOfIw

[PragmaDev @PragmaDevParis]

PragmaDev and Eurocontrol will present their work and thoughts on "Business processes: verification, optimisation, and reality" at the NAFEMS conference on November 19 in Senlis, France.
https://t.co/6b8O40gSjf

[PragmaDev @PragmaDevParis]

PragmaDev will present the latest features of PragmaDev Process during the Industry Days of the Models conference: "Resources, the key to business process optimization".
https://t.co/mwnuhUV5hb

[PragmaDev @PragmaDevParis]

New PragmaDev Process version 3.2 introduces a Performance Analyser to optimize resources in you business process.

More info: https://t.co/fDDW7450gA

[PragmaDev @PragmaDevParis]

PragmaDev will exhibit at ERTS 2024, the Embedded Real Time Software and Systems conference held in Toulouse on June 11-12.
https://t.co/SxhxnfAcTI

[European DIGITAL SME Alliance @EUdigitalsme]

Present Your Business 📢

The exclusive networking event series for #ICT #SMEs will be back next month!

6 March 2024
From 14:30 to 16:00 CET (online)

Secure your spot today 👇
https://t.co/iduYxBfk8q

[PragmaDev @PragmaDevParis]

PragmaDev Process V3.1 webinar replay is now on line. It presents new #BPMN fast edition features and #BPSim multicore simulation. https://t.co/y08GNtG5R5

[PragmaDev @PragmaDevParis]

Multicore simulation and fast edition in PragmaDev Process V3.1. #BPMN #BPSim #PragmaDevProcess https://t.co/UQTImmrGhJ

[SDL Forum Society @SDL_Forum_Soc]

Check our new web site: https://t.co/VSD9arVdWi

[Emmanuel Gaudin @EmmanuelGaudin]

PragmaDev Process new release now handles resources during business process simulations. Not only the tool helps to optimize the process, but it now also helps to optimize resource allocation.

Version 3.0 of PragmaDev Process introduces the concept of re…https://t.co/L87wApncBY

[SDL Forum Society @SDL_Forum_Soc]

Would you be interested in modelling technologies such as #SDL, #TTCN-3, #MSC, #URN, or #ASN.1, you can join the SDL Forum Society for free this year. Come and join us: https://t.co/T2HE51lP5J

[PragmaDev @PragmaDevParis]

The deadline for the 2019 SAM Conference (Satellite MoDELS) on “Languages, Methods, and Tools for Industry 4.0" has been extended. #Industry40 #models19 #SAM2019 @modelsconf

[CCI Entreprises @CCI_entreprises]

#Industriedufutur, une réalité d'aujourd’hui : RDV le 17/12 à la @CCI_Paris_IdF pour tout savoir sur les technologies et opportunités franciliennes #IA #Robotisation #RéalitéVirtuelle #impression3D Inscription gratuite > S'inscrire https://t.co/0pWgcuKJdR

[IEEE ICC @IEEEICC]

Glad to welcome @PragmaDevParis among #IEEEICC17 sponsors ! >> meet them on May 21-25 >> https://t.co/qQ2te21s5e

[PragmaDev @PragmaDevParis]

PragmaDev introduces a free version of its set of tools.