PRAGMADEV

PragmaDev Process est un outil simple et puissant qui permet aux modélisateurs de processus de vérifier leurs modèles. Les organisations complexes ou les opérations systèmes sont basés sur des processus décrits dans des modèles graphiques. La notation la plus populaire pour cela est le BPMN (Business Process Model Notation). Elle permet de décrire ce que font les différents participants à un process et comment ils interagissent. Ces processus doivent être discutés et validés avant d'être appliqués en situation réelle. Toute mésentente du processus peut conduire à une situation catastrophique sur le terrain. PragmaDev Process est un éditeur, un exécuteur, et un explorateur de modèles BPMN. C'est le résultat de 2 ans de travaux avec la Direction Générale de l'Armement, Eurocontrol, et Airbus DS. L'éditeur est intégralement gratuit et l'exécuteur permet l'exécution gratuite de petits modèles.

PragmaDev Studio est un ensemble d'outils qui aident à gérer la complexité inhérente aux systèmes modernes tant au niveau de la spécification, du développement, que du test. PragmaDev Studio se compose de tous les autres modules PragmaDev Specifier, PragmaDev Developer, PragmaDev Tester, et PragmaDev Tracer, auxquels s'ajoutent des fonctionnalités avancées et des liens entre ces différents modules dans un environnement intégré. PragmaDev Studio est la solution idéale pour les petites ou les grandes organisations qui ont des besoins de modélisation ou de test dans une de ses phases de développement, que ce soit en spécification, en développement, ou en test.