Pour la vérification et l'optimisation des processus métier.

Téléchargement gratuit ici.


Quatre outils indépendants pour la spécification, la conception, le test, et la trace des systèmes communicants:

Téléchargement gratuit ici.

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.

En savoir plus...

Fil d'actualités RSS

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


27 février, 2025 - Notre site web a été déplacé sur un nouveau serveur. Cela peut entrainer des perturbations techniques sur le site web, les méls, et les licences en ligne le temps du portage.


20 février, 2025 - SAM 2025 - Appel à publication sur la modélisation et l'analyse des systèmes pour une IA digne de confiance..


26 novembre 2024 - Regardez notre présentation "Expérimentations low code avec SDL et BPMN" lors de la dernière conférence SAM.


19 novembre 2024 - PragmaDev et Eurocontrol présenteront "Vérification, optimisation et réalité des processus métier" lors de la conférence NAFEMS.


3 octobre 2024 - Optimisation automatique du nombre de réplications dans PragmaDev Process V3.3.


24 septembre 2024 - Présentation "Les ressources, clés de l'optimisation des processus métier" pendant les Journées de l'Industrie de la conférence Models.


6 juin 2024 - Analyse de performance avec la nouvelle V3.2 de PragmaDev Process.