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

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.


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.