PragmaDev
Publié le 14-06-2022 par Francois Gauthier
Avec la version 6.0 de son environnement de développement orienté modèles PragmaDev Studio, le français PragmaDev introduit une nouvelle génération de vérificateur de modèles et la prise en charge du "broadcast", dernière...
Publié le 07-01-2022 par Francois Gauthier
Soutenu par la DGAC (Direction générale de l'aviation civile) et le Corac (Conseil pour la recherche aéronautique civile), le projet OneWay a pour ambition d’assurer la continuité numérique tout au long d’un programme aéronautique. Il...
Publié le 01-12-2020 par Francois Gauthier
L’éditeur logiciel français PragmaDev apporte à son environnement PragmaDev Process, qui permet de vérifier les processus métier décrits avec la notation BPMN (Business Process Model Notation), une propriété prédéfinie...
Publié le 18-05-2020 par Francois Gauthier
Aider les organisations complexes à améliorer leurs modèles de processus, tel est l’objectif du logiciel PragmaDev Process de PragmaDev qui permet de vérifier les processus métier décrits en langage BPMN (Business Process Model Notation), ...notation...
Publié le 12-12-2019 par Francois Gauthier
PragmaDev Studio, suite d’outils créée par le français PragmaDev pour la spécification et la conception des systèmes communicants complexes, intègre dans sa version 5.5 un encodeur ASN.1 dans le code généré, facilitant...
Publié le 14-11-2019 par Francois Gauthier
Le français PragmaDev, éditeur d’environnements de conception, de spécification et de modélisation d’applications communicantes, propose avec PragmaDev Process une solution qui vérifie les processus métier décrits avec la notation BPMN...
Publié le 23-10-2018 par Francois Gauthier
Dans sa version 5.4, l’environnement PragmaDev Studio, outil de modélisation de systèmes communicants complexes édité par le français PragmaDev, ajoute comme plate-forme hôte l'environnement Raspbian, la distribution Linux officielle de toutes les...
Publié le 08-02-2018 par Francois Gauthier
PragmaDev Studio version 5.3, l’outil de modélisation de systèmes communicants complexes du français PragmaDev, prend désormais en charge l'interface de maquette fonctionnelle FMI 2.0 (Functional Mock-up Interface). ...FMI est une interface ouverte universelle,...
Publié le 05-01-2018 par Francois Gauthier
PragmaDev, éditeur français d’une suite d’outils de développement et de test dirigés par les modèles pour les applications temps réel et embarquées, fournit sur son site un exécutable généré par ses outils, en...
Publié le 19-09-2017 par Francois Gauthier
Le français PragmaDev, éditeur d’une suite d’outils de développement et de test pilotés par les modèles pour les applications temps réel et embarquées, lance un concours à destination des étudiants des écoles...
Publié le 29-06-2017 par Francois Gauthier
L’éditeur français d’outils de modélisation et de test PragmaDev introduit dans son outil PragmaDev Studio version 5.2 le support intégral de la notation de test TTCN-3 (Testing and Test Control Notation), langage textuel utilisé par l'Etsi (European...
Publié le 18-05-2016 par Francois Gauthier
D'après les résultats de la traditionnelle enquête en ligne annuelle proposée par l’éditeur français d’outils de modélisation et de test PragmaDev, la modélisation système, la simulation de modèles, le test et la...
-fr.jpg)
Présentation
Lauréat du concours national du ministère de la recherche 2001, PragmaDev offre un outil de développement orienté modèle dédié aux applications temps réel et embarquées : Real Time Developer Studio.
Fiche Entreprise
Date de création : 2001
Nationalité : France
Dirigeants : Emmanuel Gaudin
Produits récents :