Une nouvelle génération de vérificateur de modèle avec PragmaDev Studio V6.0.
PragmaDev Studio introduit une nouvelle génération de vérificateur de modèle et le support du broadcast, dernière nouveauté du standard SDL, ce qui en fait la meilleure suite d’outils dédiés à la spécification et la conception des logiciels communicants sûrs.Broadcast » Pragmadev StudioParis | | Vu 87037 fois
