0
0 notes
Logiciel PragmaDev Studio
Édité par la société
PRAGMADEV
Toutes les captures d'écran
Communauté / région
Cible
TPE (<10) /
PME/PMI (De 10 à 249 pers.) /
ETI (250 à 4999 pers.) /
Grands Comptes (> 5000 pers.)
Secteurs d'activité
Aéronautique et aérospatiale
Automobile
Bureau d'étude Ingénierie
Médical Laboratoire Biotechnologie
Télécommunication
Aéronautique et aérospatiale
Automobile
Bureau d'étude Ingénierie
Médical Laboratoire Biotechnologie
Télécommunication
Description
PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein d'un même environnement: PragmaDev Studio avec pour objectif d'aider à gérer la complexité inhérente aux développements de systèmes. Il intègre plusieurs outils basés sur des standards internationaux et s'adressent à des ingénieurs systèmes/architectes, des développeurs, et des testeurs.
4 modules composent l'offre :
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).
PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein d'un même environnement: PragmaDev Studio avec pour objectif d'aider à gérer la complexité inhérente aux développements de systèmes. Il intègre plusieurs outils basés sur des standards internationaux et s'adressent à des ingénieurs systèmes/architectes, des développeurs, et des testeurs.
4 modules composent l'offre :
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).
Fonctionnalités principales
Modèle fonctionnel
Spécification exécutable
Conception logiciel
Modèle fonctionnel
Spécification exécutable
Conception logiciel
Informations
Langues disponibles
Anglais /
Français
Modes d'acquisition
Licence / On Premise /
Abonnement /location
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement
Langues disponibles
Anglais /
Français
Modes d'acquisition
Licence / On Premise /
Abonnement /location
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement