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


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 de vérifier et d'optimiser un processus métier. Il intègre un éditeur BPMN, un exécuteur, un explorateur, et un simulateur.

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

15 novembre 2022 - Les pages support sont maintenant accessibles à tous.


28 septembre 2022 - PragmaDev exposera au Sido Paris les 8 et 9 novembre.


5 septembre 2022 - PragmaDev Process V2.1 calcule les chemins critiques et affiche des heatmaps génériques.


25 août 2022 - Découvrez notre dernière formation en ligne Une introduction à SDL-RT.


27 juillet 2022 - PragmaDev est sponsor de la conférence CSD&M 2022.


14 juin 2022 - Paris - France - Une nouvelle génération de vérificateur de modèle avec PragmaDev Studio V6.0.


17-20 mai 2022 - PragmaDev expose à Global Industrie en tant que membre des Offreurs de solution pour l'industrie du futur.


15 avril 2022 - PragmaDev Process V2, une nouvelle génération de simulateur de processus.