PragmaDev

PragmaDev Studio 6.0
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...

Projet OneWay
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...

PragmaDev Process deadlocks
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...

Pragmadev Mega International Hopex
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...

Pragmadev 5.5
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...

Pragmadev Process
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...


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...

Pragmadev Studi 5.3 FMI
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,...

Pragmadev TTCN-3
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...

Pragmadev concours étudiant
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...

PragmaDev Studio 5.2
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...

PragmaDev Enquête 2016
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...