PragmaDev Studio
14 Juin 2022
Suite à une longue collaboration avec le laboratoire de recherche de l’ENSTA Bretagne, PragmaDev a intégré dans sa dernière version de Studio le vérificateur de modèle OBP (Observer Based Prover).L’...
06 Janvier 2021
PragmaDev Studio est une suite d’outils dédiés à la spécification et la conception des logiciels communicants complexes. La version 5.6 propose l’intégration de la version 10.3.1 de FreeRTOS.FreeRTOS...
13 Décembre 2019
PragmaDev Studio est une suite d’outils dédiés à la spécification et la conception des systèmes communicants complexes. La version 5.5 introduit l’intégration d’un encodeur ASN.1 gratuit dans le code...
23 Octobre 2018
PragmaDev Studio est un outil de modélisation des systèmes communicants complexes. La version 5.4 introduit Raspbian comme nouvelle plateforme hôte. Raspbian est la distribution Linux officielle de...
