Cooperation PragmaDev
PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein de deux environnements : 1) 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. 2) 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 LDS (Langage de Description et 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.
Un export au format IF (Intermediate Format) permet le vérification de modèle avec les outils IF de Verimag.
Verimag people involved
