En quelques mots

PragmaDev fournit deux lignes de produits:

PragmaDev Process est un outil simple et puissant qui permet d'éditer, de vérifier et d'optimiser un processus métier et les ressources associées. Il intègre un éditeur BPMN, un exécuteur, un explorateur, et un simulateur BPSim.

PragmaDev Studio aide à gérer la complexité inhérente aux systèmes communicants modernes. Il intègre quatre outils différents s'appuyant sur des standards technologiques internationaux. PragmaDev Specifier aide les ingénieurs système à spécifier et vérifier les fonctionnalités du système, et à définir la meilleure architecture pour la performance ou l'efficacité énergétique. PragmaDev Developer permet aux concepteurs logiciel d'écrire un code maintenable et auto-documenté. PragmaDev Tester permet au testeur d'écrire des tests d'intégration et de validation avec un langage dédié, synthétique et exécutable. PragmaDev Tracer permet de décrire des scénarios attendus, des propriétés, ou de tracer une exécution.

PragmaDev compte parmi ses utilisateurs les plus grandes références industrielles telles que: Renault, Airbus, Nokia, ST, ABB, la DGA, Wipro, Korean Telecom, et LG Electronics.

Fil d'actualités

12 juin 2026 - PragmaDev participate aux rendez vous B2B du Paris Air Forum.

19 févr. 2026 - L'article de conférence sur l'Analyse des scénarios opérationnels des aéronefs via un diagramme d'activité SysML avec Airbus est désormais disponible en accès libre et en vidéo.

5-6 févr. 2026 - PragmaDev est sponsor de la prochaine conférence ERTS 2026.

18 nov, 2025 - PragmaDev Process V3.4 introduit une description étendue des processus et un chemin critique plus précis.

6 oct, 2025 - Presentation du papier "Optimisation des opérations industrielles par la formalisation des processus métier." à la coférence SAM2025.

27 mai 2025 - Les formations PragmaDev autour du SDL et du BPMN rejoignent le catalogue du pole de compétitivité dédié à la mobilité du futur NextMove.

17 mars 2025 - L'école d'ingénieurs ENSTA a rejoint le programme éducation.