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

11-12 juin 2024 - PragmaDev exposera à la conférence ERTS 2024 Embedded Real Time Software and Systems à Toulouse.


6 mars 2024 - Découvrez notre dernière formation en ligne Introduction à BPSim.


9 février 2024 - SAM 2024 - Appel à publication sur le thème des défis et opportunités de la modélisation et de l'analyse système à l'ère de l'intelligence artificielle et du métavers.


22 novembre, 2023 - Revoir le webinaire sur l'édition rapide de BPMN et la simulation multi-coeur de BPSim.


2 novembre 2023 - Présentation de notre papier Exploration agnostique appliquée aux modèles SDL à la conférence SAM2023.


10 octobre 2023 - La simulation multi-coeur et l’édition rapide au programme de la V3.1 de PragmaDev Process.


12 juillet, 2023 - PragmaDev co-organise une journée de conférence sur l'Industrie 4.0 avec un ensemble de partenaires réunis par la CCI.


28 juin, 2023 - PragmaDev est membre du réseau France Innovation.


20 mars, 2023 - Démonstration en ligne sur l'optimisation des ressources avec PragmaDev Process.