Marie-Claude Gaudel
IdRefMots clés
FR |
EN
Systèmes experts (informatique)
Intelligence artificielle
Systèmes informatiques
Test formel
Méthodes formelles (informatique)
Spécifications algébriques
Grammaires attribuées (informatique)
Réécriture, Systèmes de (informatique)
Petri, Réseaux de
Règles de production
Test basé sur des modèles
Génie logiciel
Spécification et vérification de logiciels
Preuves de théorèmes
Logiciels -- Vérification
Théorèmes -- Démonstration automatique
Sémantique opérationnelle
Langage de spécification
Bibliothèque de spécification
Environnement de spécification