Über uns
Outils de modélisation fonctionnel
PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein de deux environnements:
PragmaDev Process
PragmaDev Process permet de décrire ou d'importer un processus métier avec la notation BPMN et de vérifier qu'il est correct.
PragmaDev Studio
PragmaDev Studio permet de décrire:
l'architecture,
la spécification fonctionnelle,
la conception,
les tests de conformité,
des systèmes temps réel embarqués. Il intègre plusieurs outils basés sur des standards internationaux qui s'adressent à des ingénieurs systèmes/architectes, des développeurs, et des testeurs.
PragmaDev Specifier aide les ingénieurs système à spécifier et vérifier les fonctionnalités du système, et à définir la meilleurs architecture pour la performance ou l'efficacité énergétique. La technologie de spécification permet de décrire un modèle graphique fonctionnel et exécutable. Un simulateur intégré permet de vérifier et de valider la dynamique du système, et un analyseur de performance identifie la meilleure architecture.
PragmaDev Developer permet aux concepteurs logiciel d'écrire un code maintenable et auto-documenté. Pour cela la technologie de développement permet de décrire un modèle graphique d'architecture et les grandes lignes comportementales en y intégrant le code d'exécution.
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. De nombreux tests de conformité sont publiés par des organismes de standardisation avec cette technologie de test.
PragmaDev Tracer est un outil transverse aux trois autres qui permet de décrire des scénarios. En amont, il permet de décrire des scénarios attendus, ou des propriétés d'un système à développer. En aval, il permet de tracer l'exécution d'un modèle ou d'un système et de vérifier que le système est conforme aux scénarios et propriétés décris en amont.
La version complète de l'outillage propose des passerelles entre les différents outils comme par exemple la génération automatique de tests à partir d'un modèle fonctionnel (model based testing).
