L'embarqué > PragmaDev

PragmaDev

PragmaDev identifie automatiquement les "deadlocks" dans la description des processus métier

Publié le 01 décembre 2020 à 12:41 par François 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 associée au moteur d’exploration capable d’identifier automatiquement les deadlocks (interblocages)...

Partager
Lire

PragmaDev fournit des exécutables pour le test du protocole SIP de l’Etsi en notation TTCN-3

Publié le 05 janvier 2018 à 00:24 par François 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 libre téléchargement et libre d’utilisation, pour réaliser les tests de conformité du protocole SIP...

Partager
Lire

PragmaDev supporte désormais les suites de test de conformité de l’Etsi avec notation TTCN-3

Publié le 29 juin 2017 à 11:47 par François 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 Telecommunications Standard Institute) pour écrire ses suites de test ...

Partager
Lire

EDA Expert distribue en France les outils logiciels de conception et de test de PragmaDev

Publié le 05 avril 2016 à 12:40 par François Gauthier        

Le distributeur français EDA Expert, impliqué dans le domaine des outils pour la conception de plates-formes matérielles, complète son offre avec des solutions pour la conception d'applications logicielles en distribuant ...

Partager
Lire

Lire les articles suivants