Accueil > Téléchargements


PragmaDev Process V2.1.1

Télécharger:

PragmaDev Process permet de vérifier les processus métier décrits avec la notation BPMN (Business Process Model Notation). La nouvelle version de l’outil introduit l’affichage de heatmaps génériques et le calcul automatique des chemins critiques durant une simulation. Plus d'information.

PragmaDev Process est nativement 64 bits sur toutes les plateformes.

Le gestionnaire de licence FLEXlm n'est plus supporté à partir de cette version. Merci d'utiliser PLM ou le gestionnaire en ligne.

L’éditeur de modèle est gratuit sans restriction et l’exécuteur est gratuit pour les petits modèles. La liste complète des nouvelles fonctionnalités se trouve ici (accès restreint).


Intégration MEGA Hopex

Dans le cadre du projet VeriMoB nous avons développé avec MEGA International une intégration entre nos outils qui permet aux utilisateur de MEGA Hopex de vérifier leurs modèles avec PragmaDev Process. Un menu dédié dans Hopex permet de transférer les modèles dans Process, et inversement un bouton dédié permet à partir de Process de revenir au diagramme source dans Hopex. Cette intégration est détaillée dans ce webinaire de 30 mn et est résumée dans cette courte vidéo de 3mn. Les instructions pour l'installation de l'interface sont dans le pdf fourni.

Versions précédentes de Process


Manuels PragmaDev Process

Les manuels ci dessous sont dans la distribution PragmaDev Process:

PragmaDev Studio V6.0

Télécharger:

PragmaDev Studio V6 introduit:
  • Introduction d’un nouveau vérificateur de modèle.
  • Support du broadcast SDL.
  • Application Windows 64 bits native.

Le gestionnaire de licence FLEXlm n'est plus supporté à partir de cette version. Merci d'utiliser PLM ou le gestionnaire en ligne.

La liste complète des nouvelles fonctionnalités se trouve ici (accès restreint).


Exécutables ETSI SIP gratuits

Les suites de test de conformité au protocole ETSI SIP sont disponibles gratuitement sous forme d'exécutables win32, linux 32, ou linux 64. Les fichiers source TTCN-3 sont aussi disponibles, ils nécessitent une licence PragmaDev Tester pour être édités ou pour générer l'exécutable. A noter que ces fichiers sont légèrement différents des originaux de l'ETSI car des erreurs mineures ont dû être corrigées.

Versions précédentes de Studio

Les versions précédentes de notre outil peuvent être téléchargées ici (accès restreint à nos clients).


Manuels PragmaDev Studio

Les manuels ci dessous sont dans la distribution PragmaDev Studio: