TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
CORRECTION PARTIELLE [3 fiches]
Fiche 1 - données d’organisme externe 2006-01-30
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 1
Fiche 1, La vedette principale, Anglais
- partial correctness
1, fiche 1, Anglais, partial%20correctness
correct, normalisé
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
correctness proving indicating that a program's output assertions follow logically from its input assertions and processing steps 1, fiche 1, Anglais, - partial%20correctness
Record number: 1, Textual support number: 1 OBS
partial correctness: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, fiche 1, Anglais, - partial%20correctness
Fiche 1, Français
Fiche 1, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 1
Fiche 1, La vedette principale, Français
- correction partielle
1, fiche 1, Français, correction%20partielle
correct, nom féminin, normalisé
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- exactitude partielle 1, fiche 1, Français, exactitude%20partielle
correct, nom féminin, normalisé
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
démonstration d'exactitude montrant que les assertions de sortie d'un programme découlent logiquement de ses assertions d'entrée et des étapes de traitement 1, fiche 1, Français, - correction%20partielle
Record number: 1, Textual support number: 1 OBS
correction partielle; exactitude partielle : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000]. 2, fiche 1, Français, - correction%20partielle
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1995-10-12
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Computer Programs and Programming
- Testing and Debugging
Fiche 2, La vedette principale, Anglais
- partial correctness
1, fiche 2, Anglais, partial%20correctness
correct, normalisé
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
In proof of correctness, a designation indicating that a program's output assertions follow logically from its input assertions and processing steps. 2, fiche 2, Anglais, - partial%20correctness
Record number: 2, Textual support number: 1 OBS
Contrast with total correctness. 3, fiche 2, Anglais, - partial%20correctness
Record number: 2, Textual support number: 2 OBS
partial correctness: Term standardized by ISO/IEC; Term and definition standardized by IEEE. 4, fiche 2, Anglais, - partial%20correctness
Fiche 2, Français
Fiche 2, Domaine(s)
- Programmes et programmation (Informatique)
- Test et débogage
Fiche 2, La vedette principale, Français
- exactitude partielle
1, fiche 2, Français, exactitude%20partielle
correct, nom féminin, normalisé
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- correction partielle 1, fiche 2, Français, correction%20partielle
correct, nom féminin, normalisé
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
Dans une preuve d'exactitude, expression indiquant que les assertions de sortie d'un programme proviennent logiquement de ses assertions d'entrée et des étapes du traitement. 2, fiche 2, Français, - exactitude%20partielle
Record number: 2, Textual support number: 1 OBS
Antonyme d'exactitude totale. 2, fiche 2, Français, - exactitude%20partielle
Record number: 2, Textual support number: 2 OBS
exactitude partielle; correction partielle : Termes normalisés par l'ISO/CEI. 3, fiche 2, Français, - exactitude%20partielle
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1991-01-16
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- partial correction
1, fiche 3, Anglais, partial%20correction
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- correction partielle
1, fiche 3, Français, correction%20partielle
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 OBS
Un cas de propriété d'invariance. 1, fiche 3, Français, - correction%20partielle
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :