TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
CORRECTION PARTIELLE [3 records]
Record 1 - external organization data 2006-01-30
Record 1, English
Record 1, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 1
Record 1, Main entry term, English
- partial correctness
1, record 1, English, partial%20correctness
correct, standardized
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
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, record 1, English, - 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, record 1, English, - partial%20correctness
Record 1, French
Record 1, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 1
Record 1, Main entry term, French
- correction partielle
1, record 1, French, correction%20partielle
correct, feminine noun, standardized
Record 1, Abbreviations, French
Record 1, Synonyms, French
- exactitude partielle 1, record 1, French, exactitude%20partielle
correct, feminine noun, standardized
Record 1, Textual support, French
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, record 1, French, - 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, record 1, French, - correction%20partielle
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 1995-10-12
Record 2, English
Record 2, Subject field(s)
- Computer Programs and Programming
- Testing and Debugging
Record 2, Main entry term, English
- partial correctness
1, record 2, English, partial%20correctness
correct, standardized
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
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, record 2, English, - partial%20correctness
Record number: 2, Textual support number: 1 OBS
Contrast with total correctness. 3, record 2, English, - partial%20correctness
Record number: 2, Textual support number: 2 OBS
partial correctness: Term standardized by ISO/IEC; Term and definition standardized by IEEE. 4, record 2, English, - partial%20correctness
Record 2, French
Record 2, Domaine(s)
- Programmes et programmation (Informatique)
- Test et débogage
Record 2, Main entry term, French
- exactitude partielle
1, record 2, French, exactitude%20partielle
correct, feminine noun, standardized
Record 2, Abbreviations, French
Record 2, Synonyms, French
- correction partielle 1, record 2, French, correction%20partielle
correct, feminine noun, standardized
Record 2, Textual support, French
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, record 2, French, - exactitude%20partielle
Record number: 2, Textual support number: 1 OBS
Antonyme d'exactitude totale. 2, record 2, French, - exactitude%20partielle
Record number: 2, Textual support number: 2 OBS
exactitude partielle; correction partielle : Termes normalisés par l'ISO/CEI. 3, record 2, French, - exactitude%20partielle
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 1991-01-16
Record 3, English
Record 3, Subject field(s)
- Artificial Intelligence
Record 3, Main entry term, English
- partial correction
1, record 3, English, partial%20correction
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
Record 3, French
Record 3, Domaine(s)
- Intelligence artificielle
Record 3, Main entry term, French
- correction partielle
1, record 3, French, correction%20partielle
correct, feminine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record number: 3, Textual support number: 1 OBS
Un cas de propriété d'invariance. 1, record 3, French, - correction%20partielle
Record 3, Spanish
Record 3, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: