Aller au contenu

français

exploration de modèle

Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle

Donnée du Wiktionnaire, non revue

Histoire

latin exploratus › exploratio français exploration › exploration de modèle 500 av. 500 1000 1500 2000
Périodes des langues : convention du site, sources sur la page Méthode.

Ascendance

Reconstituée depuis les relations enregistrées, sans reformuler le texte du Wiktionnaire

lien vérifiéconfirmé par deux sources indépendantesune seule sourcelu automatiquement dans le Wiktionnaire, non vérifié

L’ascendance en liste
  • exploration « Action d’explorer. » (français) → exploration de modèle (français) : formé ; une seule source
  • modèle « Ce qui sert d’exemple ; ce qui doit être imité. » (français) → exploration de modèle (français) : formé ; une seule source
  • exploratio « Observation, examen, espionnage. » (latin) → exploration (français) : hérité ; une seule source
  • modello « Modèle. » (italien) → modèle (français) : emprunté ; confirmé par deux sources indépendantes
  • forme reconstruite modellus (latin vulgaire) → modèle (français) : lu automatiquement dans le Wiktionnaire, non vérifié
  • exploratus (latin) → exploratio (latin) : formé ; une seule source
  • modellus (latin) → modello (italien) : hérité ; une seule source

Translittérations automatiques : ISO 9:1995. Comment elles sont calculées

  • français exploration — d’après le Wiktionnaire
  • français modèle — d’après le Wiktionnaire

Cognats

Mots d’autres langues issus du même étymon

Familles

Tous les mots qui descendent des mêmes étymons que exploration de modèle

Le Wiktionnaire

Texte de l’article du Wiktionnaire, cité tel quel

Locutioncomposée de exploration et de modèle.

Wiktionnaire, article « exploration de modèle » — CC BY-SA

Résumé

Composé à partir des relations enregistrées, sans reformuler le texte du Wiktionnaire

Composé de exploration, « Action d’explorer », du latin exploratio, « Observation, examen, espionnage », dérivé de exploratus.

Recommandation officielle

Terminologie recommandée par FranceTerme ; pas une définition du mot

  • model checking (anglais) → terme recommandé : exploration de modèle — Informatique, Journal officiel du 1ᵉʳ janvier 2013 — FranceTerme

Descendance

Mots formés à partir de exploration de modèle

Aucun mot dérivé dans les données.

Sources

Chercher dans : TLFi · FEW · Académie française (nouvel onglet) (Source : www.dictionnaire-academie.fr)