Brama - Outil de modélisation graphique appliqué aux méthodes formelles B
(Clics: 377;Site ajouté: Jul 5, 2015)
- LIEN: brama.fr
- Pays: France
- mot-clé 1: brama
- mot-clé 2: modélisation graphique
- mot-clé 3: modelisation graphique
- mot-clé 4: methodes formelles
- mot-clé 5: méthodes formelles
- mot-clé 6: méthode b
- mot-clé 7: methode b
- mot-clé 8: langage formel
- mot-clé 9: modèle
- mot-clé 10: modèles
Description:
Brama est un outil d'animation graphique de modèle formel B. Il représente les modèles, vérifie qu'ils représentent ce que vous