PragmaDev Studio V6 : intégration d’un nouveau vérificateur de modèle !

PragmaDev Studio introduit un nouveau vérificateur de modèle et le support du broadcast, ce qui en fait la meilleure suite d’outils dédiés à la spécification et la conception des logiciels communicants sûrs.

PragmaDev Studio V6 : intégration d’un nouveau vérificateur de modèle !

Suite à une longue collaboration avec le laboratoire de recherche de l’ENSTA Bretagne, PragmaDev, membre du Hub Digital Engineering de Systematic