- Notice
Logiciels -- Vérification
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Analyse dynamique (informatique)
Analyse statique (informatique)
Comparaisons des données
Logiciels -- Analyse statique
Logiciels -- Analyse dynamique
Vérification des logiciels
Analyse dynamique (informatique)
Analyse statique (informatique)
Comparaisons des données
Logiciels -- Analyse statique
Logiciels -- Analyse dynamique
Vérification des logiciels
>><<Terme(s) associé(s) :
CEGAR (algorithme)
Logiciels -- Exactitude
Logiciels -- Essais
Logiciels -- Validation
JUnit (logiciel)
CEGAR (algorithme)
Logiciels -- Exactitude
Logiciels -- Essais
Logiciels -- Validation
JUnit (logiciel)
>>Terme(s) spécifique(s) :
Vérification de modèles (informatique)
Filtres (informatique)
Spin (logiciel)
Vérification de modèles (informatique)
Filtres (informatique)
Spin (logiciel)
Domaine(s) : 621
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Computer programs--Verification http://id.loc.gov/authorities/subjects/sh85029528
- LCSH (Library of Congress Subject Headings) : Computer software--Verification http://id.loc.gov/authorities/subjects/sh85029537
- LCSH (Library of Congress Subject Headings) : Computer programs--Verification http://id.loc.gov/authorities/subjects/sh85029528
- LCSH (Library of Congress Subject Headings) : Computer software--Verification http://id.loc.gov/authorities/subjects/sh85029537
Correspondance(s) exacte(s) :
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Logiciels -- Vérification
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Logiciels -- Vérification
Identifiant de la notice : ark:/12148/cb135762613
Notice n° :
FRBNF13576261
Création :
00/12/07
Mise à jour :
03/07/11
