explorateur de modèle
- Domaines
-
- informatique donnée informatique
- informatique logiciel
Définition :
Dispositif permettant l'exploration d'un modèle.
Notes :
Voir aussi : exploration de modèle.
Domaine mentionné dans la banque FranceTerme : INFORMATIQUE.
Terme :
- explorateur de modèle n. m. recommandé officiellement par la Commission d'enrichissement de la langue française (France)
Traductions
-
anglais
Auteur : Commission d'enrichissement de la langue française (France), FranceTerme,Terme :
- model-checker