Pour la modélisation et la vérification des processus métier.


Quatre outils indépendants pour la spécification et la conception 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 un modèle métier. Il intègre un éditeur BPMN, un exécuteur, et un explorateur.

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 novembre 2020 - L'école d'ingénieurs ESEO a rejoint le programme éducation.


1 octobre 2020 - PragmaDev et CIMPA signent un accord de partenariat technologique et commercial.


30 juin - 3 juillet, 2020 - Le salon Global Industrie 2020 devient digital. PragmaDev participera au webianire sur la Smart Tech le 1er juillet.


23 juin 2020 - PragmaDev listé parmis les acteurs souverains du numérique Français.


3 juin 2020 - Découvrez notre dernière formation en ligne Une introduction à BPMN.


14 mai 2020 - PragmaDev et MEGA International signent un accord de partenariat technologique et commercial.


8 mai 2020 - Appel à publication pour la conférence Modélisation et Analyse de Systèmes (SAM 2020) sur le thème des langages, méthodes, et outils pour les systèmes basés sur l'Intelligence Artificielle.