|
Modèle freemium
PragmaDev Process et PragmaDev Studio peuvent être téléchargés gratuitement ici. Vous pouvez soit:- Utilisez la version gratuite (Freemium) qui inclut:
- Toutes les fonctionnalités de PragmaDev Studio mais qui est limitée en taille: 50Ko par fichier et 200Ko par projet (ceci concerne tous les diagrammes sauf les MSC, les fichiers de déclaration tels que ASN.1 et SDL-PR, et les fichiers sources TTCN-3).
- Toutes les fonctionnalités de PragmaDev Process mais qui est limité en nombre de pas d'exécution.
- Louer une licence pour un cout mensuel qui inclut la maintenance (support et mises à jour). Durée minimum de trois mois.
- Acheter une licence permanente ce qui permet de bénéficier de toutes les fonctionnalités sans restriction de temps. Dans ce cas la mise à jour et le support sont optionnels et se présentent sous forme d'un renouvellement annuel. Nous contacter pour plus d'informations sur cette option: .
Gestion des licences
Pour la version payante il y a deux possibilité de gestion des licences:- Licences flottantes sur réseau local: les jetons de fonctionnalités sont partagés sur le réseau local. Un jeton autorise un utilisateur à un moment donné, et la même peut être utilisée sous Windows, Linux, et macOS.
- Licences en ligne: depuis l'espace membre sur notre site web il est possible d'acheter ou de louer des licences avec une carte de crédit. Au démarrage l'outil se connecte à notre site web pour vérifier la licence.
Vous trouverez ci dessous les prix et les fonctionnalités détaillées pour chaque module.
Module Fonctionnalités |
PragmaDev Process |
PragmaDev Specifier |
PragmaDev Developer |
PragmaDev Tester |
PragmaDev Studio |
PragmaDev Tracer |
| Éditeur BPMN | X | - | - | - | - | - |
| Executeur BPMN | X | - | - | - | - | - |
| Explorateur BPMN | X | - | - | - | - | - |
| Simulateur BPMN | X | - | - | - | - | - |
| MSC - PSC | X | X | X | X | X | X |
| HMSC - Use Case | - | X | X | X | X | - |
| IHM de prototypage | - | X | X | X | X | - |
| Générateur de documentation | - | X | X | X | X | - |
| Comparaison / fusion de modèle | - | X | X | X | X | - |
| ASN.1 | - | X | X | X | X | - |
| Traçabilité | - | X | X | X | X | - |
| Éditeurs de modèle SDL | - | X | - | - | X | - |
| Simulateur de modèle SDL | - | X | - | - | X | - |
| Éditeurs de modèles SDL-RT | - | - | X | - | X | - |
| Générateur de code C à partir de SDL-RT | - | - | X | - | X | - |
| Génération de TTCN-3 à partir de MSC | - | - | - | X | X | - |
| Editeur avancé TTCN-3 | - | - | - | X | X | - |
| Générationd de MSC à partir de TTCN-3 | - | - | - | X | X | - |
| Simulateur TTCN-3 | - | - | - | X | X | - |
| Générateur de code C++ à partir de TTCN-3 | - | - | - | X | X | - |
| Simulateur de déploiement de modèle SDL | - | - | - | - | X | - |
| Analyseur de performance de modèle SDL | - | - | - | - | X | - |
| Export de SDL vers PR | - | - | - | - | X | - |
| Explorateur SDL (model checking) | - | - | - | - | X | - |
| Générateur de code C/C++ à partir de SDL | - | - | - | - | X | - |
| Licence freemium (€) | 0 | 0 | 0 | 0 | 0 | 0 |
| Souscription mensuelle / licence (€) | 90 | 170 | 170 | 170 | 290 | 0 |