TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 DEF

To add an additional signature to a document to confirm its correctness.  2, record 1, English, - countersign

Record number: 1, Textual support number: 1 CONT

To be valid, letters which amend an offer must be signed by the party who has signed the original offer. In situations where such a letter is issued to the offeror by a departmental representative (i.e., to confirm a verbal agreement), a duplicate copy of the letter in question must be countersigned by the party who has signed the original offer and must be returned to the department.  3, record 1, English, - countersign

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 DEF

Apposer sa signature sur un document déjà signé par une autre personne afin, le plus souvent, d'en garantir l'authenticité.  2, record 1, French, - contresigner

Record number: 1, Textual support number: 1 CONT

Pour être valables, les lettres qui modifient une offre doivent être signées par la partie qui a signé l'offre initiale. Dans les cas où ce genre de lettre est envoyée à l'offrant par un représentant du Ministère (p. ex., pour confirmer une entente verbale), un double de la lettre en question doit être contresigné par la partie qui a signé l'offre initiale et doit être retourné au Ministère.  3, record 1, French, - contresigner

Record number: 1, Textual support number: 1 OBS

La signature du «contresignataire» porte le nom de «contreseing».  2, record 1, French, - contresigner

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 CONT

Hoare logic... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.  2, record 2, English, - Hoare%20logic

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 CONT

Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes.  3, record 2, French, - logique%20de%20Hoare

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 DEF

[A] motion, made upon routine proceedings, that may be required for the observance of the proprieties of the [House of Commons, ] the maintenance of its authority, the management of its business, the arrangement of its proceedings, the establishing of the powers of its committees, the correctness of its records or the fixing of its sitting days or the times of its meeting or adjournment.  2, record 3, English, - routine%20motion

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 DEF

[...] motion présentée dans le cadre de l'étude des affaires courantes ordinaires qui peut être requise pour l'observation du décorum de la [Chambre des communes,] pour le maintien de son autorité, pour l'administration de ses affaires, pour l'agencement de ses travaux, pour la détermination des pouvoirs de ses comités, pour l'exactitude de ses archives ou pour la fixation des jours où elle tient ses séances, ainsi que des heures où elle les ouvre ou les ajourne.  3, record 3, French, - motion%20pour%20affaire%20courante

Record number: 3, Textual support number: 1 OBS

motion pour affaire courante : terme employé dans le Règlement de la Chambre des communes.  4, record 3, French, - motion%20pour%20affaire%20courante

Record 3,  Textual support,  Spanish

Record number: 3, Textual support number: 1 DEF

Moción destinada a hacer respetar el decoro de la Cámara, mantener su autoridad, administrar sus trabajos y el orden de sus deliberaciones, determinar los poderes de las comisiones, velar por la exactitud de los documentos oficiales de la Cámara, o fijar los días y las horas de apertura o levantamiento de sus sesiones.  1, record 3, Spanish, - moci%C3%B3n%20relativa%20a%20un%20asunto%20ordinario

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 DEF

The process of checking that all the facts in a piece of writing, a news article, a speech, [or other] are correct ...  4, record 4, English, - fact%2Dchecking

Record number: 4, Textual support number: 1 CONT

Fact-checking is a process that seeks to verify sometimes factual information, in order to promote the veracity and correctness of reporting. Fact-checking can be conducted before(ante hoc) or after(post hoc) the text is published or otherwise disseminated.  5, record 4, English, - fact%2Dchecking

Record number: 4, Textual support number: 1 OBS

fact-checking: not to be confused with "reality checking."  6, record 4, English, - fact%2Dchecking

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 CONT

La vérification des faits est un processus essentiel qui consiste à examiner la véracité des informations avant leur diffusion, améliorant ainsi la qualité de l'information disponible. En utilisant des outils et des techniques analytiques, comme la vérification des sources et la triangulation des données, elle aide à lutter contre la désinformation et renforce la confiance du public.  2, record 4, French, - v%C3%A9rification%20des%20faits

Record number: 4, Textual support number: 1 OBS

vérification des faits : désignation et définition publiées au Journal officiel de la République française le 8 avril 2017.  3, record 4, French, - v%C3%A9rification%20des%20faits

Record 4,  Textual support,  Spanish

Record number: 4, Textual support number: 1 CONT

[La] verificación de hechos, es un proceso mediante el cual se investiga y comprueba la veracidad de una afirmación o noticia.  1, record 4, Spanish, - verificaci%C3%B3n%20de%20hechos

Record number: 4, Textual support number: 1 OBS

verificación de datos: La Fundación del Español Urgente (Fundéu BBVA), con el asesoramiento de la Real Academia Española, indica que "verificación de datos" [...] es una alternativa a "fact-checking" [...]  3, record 4, Spanish, - verificaci%C3%B3n%20de%20hechos

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 CONT

Model checking, a powerful technique in artificial intelligence and computer science, is used to verify the correctness of systems across various domains. Its applications span from hardware and software verification to planning and formal verification... In the field of artificial intelligence, model checking verifies the correctness of proposed solutions to planning problems, ensuring that the planned actions lead to the desired outcomes.  2, record 5, English, - model%20checking

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 DEF

Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle satisfait à un ensemble de spécifications formelles et qui, si une des spécifications n'est pas vérifiée, fournit des contre-exemples servant à identifier la source des erreurs.  1, record 5, French, - exploration%20de%20mod%C3%A8le

Record number: 5, Textual support number: 1 OBS

L'exploration de modèle trouve de nombreuses applications dans les industries du logiciel et du matériel, la vérification de puces, les protocoles de communication, les logiciels pilotes de périphériques, les systèmes critiques embarqués et les algorithmes de sécurité.  1, record 5, French, - exploration%20de%20mod%C3%A8le

Record number: 5, Textual support number: 2 OBS

exploration de modèle : terme et définition publiés au Journal officiel de la République française le 1er janvier 2013.  2, record 5, French, - exploration%20de%20mod%C3%A8le

Record 5,  Textual support,  Spanish

Record 6,  Textual support,  English

Record number: 6, Textual support number: 1 OBS

Rigid insistence on everything being flawless, perfect, and without errors or faults, including one's own and others’ performance; sacrificing of timeliness to ensure correctness in every details; believing that there is only one right way to do things; difficulty changing ideas and/or viewpoint; preoccupation with details, organization, and order.  1, record 6, English, - rigid%20perfectionism

Record 6,  Textual support,  French

Record 6,  Textual support,  Spanish

Record number: 6, Textual support number: 1 DEF

Insistencia rígida en que todo sea perfecto, sin errores ni fallas, incluido el desempeño propio y ajeno.  1, record 6, Spanish, - perfeccionismo%20r%C3%ADgido

Record 7,  Textual support,  English

Record number: 7, Textual support number: 1 DEF

An examination of the procedures used in a data processing system to evaluate their effectiveness and correctness, and to recommend improvements.  3, record 7, English, - computer%2Dsystem%20audit

Record number: 7, Textual support number: 1 OBS

computer-system audit: designation and definition standardized by ISO in collaboration with the International Electrotechnical Commission.  4, record 7, English, - computer%2Dsystem%20audit

Record number: 7, Textual support number: 2 OBS

computer system audit: designation standardized by the Canadian Standards Association (CSA) and officially approved by the Government EDP Standards Committee (GESC).  4, record 7, English, - computer%2Dsystem%20audit

Record 7,  Textual support,  French

Record number: 7, Textual support number: 1 DEF

Examen des procédures utilisées dans un système informatique pour en évaluer l'efficacité et la conformité et proposer des améliorations.  4, record 7, French, - v%C3%A9rification%20de%20syst%C3%A8me%20informatique

Record number: 7, Textual support number: 1 OBS

vérification de système informatique; audit de système informatique : désignations et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.  5, record 7, French, - v%C3%A9rification%20de%20syst%C3%A8me%20informatique

Record number: 7, Textual support number: 2 OBS

vérification d'un système informatique : désignation normalisée par l'Association canadienne de normalisation (CSA) et uniformisée par le Comité des normes gouvernementales en informatique (CNGI).  5, record 7, French, - v%C3%A9rification%20de%20syst%C3%A8me%20informatique

Record number: 7, Textual support number: 3 OBS

expertise d'un système informatique : désignation normalisée par l'Association canadienne de normalisation (CSA).  5, record 7, French, - v%C3%A9rification%20de%20syst%C3%A8me%20informatique

Record 7,  Textual support,  Spanish

Record number: 7, Textual support number: 1 DEF

Examen de los procedimientos utilizados en un sistema de computadoras (ordenadores) para evaluar su eficiencia y exactitud y recomendar mejoras si fuera necesario.  1, record 7, Spanish, - revisi%C3%B3n%20del%20sistema%20de%20computadoras

Record 8,  Textual support,  English

Record number: 8, Textual support number: 1 CONT

In the declarative interpretation, a declarative program is viewed as a formula, and one can reason about its correctness without any reference to the underlying computational mechanism.  2, record 8, English, - declarative%20interpretation

Record 8,  Textual support,  French

Record number: 8, Textual support number: 1 CONT

Selon l'interprétation déclarative, la situation est décrite par une suite de règles et de faits [...], et le problème à résoudre est spécifié sous forme d'un but qui est donné au mécanisme de résolution de l'interpréteur.  2, record 8, French, - interpr%C3%A9tation%20d%C3%A9clarative

Record 8,  Textual support,  Spanish

Record 9,  Textual support,  English

Record number: 9, Textual support number: 1 DEF

[The module of an Intelligent Tutoring System] that models the student’s understanding of the domain.  2, record 9, English, - student%20model%20module

Record number: 9, Textual support number: 1 CONT

Student Model Module. The task of this building block is to construct a student model which represents student’s knowledge. It is essentially an inductive inference which induces a model from observed data. In ITS [Intelligent Tutoring Systems], the model should be an executable program described in a knowledge representation language and the data are student’s answers to the problems.  1, record 9, English, - student%20model%20module

Record number: 9, Textual support number: 2 CONT

The Student Module analyzes the student's answers, diagnosis the misconceptions and keeps track of the information on the student's mastery of the knowledge. The student modeler of XTRA-TE is aimed at both behavioral diagnosis and epistemic diagnosis. At the behavioral level, the student receives direct feedback from the system. The student's response is checked against the domain knowledge for correctness.  2, record 9, English, - student%20model%20module

Record number: 9, Textual support number: 3 CONT

To assist the student module in the task of diagnosis, [the expert module] can operate in a single-step mode showing the result of application of the best rule, or all rules, to a given problem.  2, record 9, English, - student%20model%20module

Record 9,  Textual support,  French

Record number: 9, Textual support number: 1 DEF

Module d'un système EIAO dont la tâche consiste à diagnostiquer les failles de raisonnement et à élaborer ou mettre à jour un modèle apprenant représentant les connaissances de l'apprenant à partir des réponses qu'il donne à des problèmes.  2, record 9, French, - module%20de%20diagnostic%20cognitif

Record number: 9, Textual support number: 1 CONT

Applusix a une architecture classique de Tuteur Intelligent. Les différents modules sont : l'expert [...]; le module pédagogique [...]; le module de diagnostic cognitif qui met à jour le profil de l'élève; l'interface [...]  1, record 9, French, - module%20de%20diagnostic%20cognitif

Record number: 9, Textual support number: 2 CONT

Le module de diagnostic cognitif a pour but de modifier le profil de l'élève à partir des informations enregistrées pendant les interactions. Ces informations sont principalement : demandes (ou non) de détail dans les calculs (interaction observation); choix d'une expression et d'une transformation (interaction résolution); choix d'une transformation applicable (interaction pilotage). [...] elles sont exploitées pour mettre à jour le profil de l'élève.  1, record 9, French, - module%20de%20diagnostic%20cognitif

Record 9,  Textual support,  Spanish

Record 10,  Textual support,  English

Record number: 10, Textual support number: 1 CONT

In recent years, there is a tendency to formalize and verify the correctness of conversion algorithms in interactive theorem provers.  2, record 10, English, - conversion%20algorithm

Record 10,  Textual support,  French

Record 10,  Textual support,  Spanish

Record 11,  Textual support,  English

Record number: 11, Textual support number: 1 DEF

A vessel that directly interconnects the arterial and venous systems and that acts as a shunt to bypass the capillary bed.  3, record 11, English, - arteriolovenular%20anastomosis

Record number: 11, Textual support number: 1 OBS

arteriolovenular anastomosis; arteriovenous anastomosis : Although the term anastomosis arteriovenosa is widely used, for the sake of correctness anastomosis arteriolovenularis is the preferred term, since the structure in question does not link an artery and a vein, but an arteriole and a venule.  4, record 11, English, - arteriolovenular%20anastomosis

Record number: 11, Textual support number: 2 OBS

arteriolovenular anastomosis; arteriovenous anastomosis: designations derived from the Terminologia Anatomica.  5, record 11, English, - arteriolovenular%20anastomosis

Record number: 11, Textual support number: 3 OBS

A12.0.00.002: Terminologia Anatomica identifying number.  5, record 11, English, - arteriolovenular%20anastomosis

Record 11,  Textual support,  French

Record number: 11, Textual support number: 1 DEF

Communication entre une veinule et une artériole.  1, record 11, French, - anastomose%20art%C3%A9rioloveinulaire

Record number: 11, Textual support number: 1 OBS

anastomose artérioloveinulaire : désignation dérivée de la Terminologia Anatomica.  2, record 11, French, - anastomose%20art%C3%A9rioloveinulaire

Record number: 11, Textual support number: 2 OBS

A12.0.00.002 : numéro d'identification de la Terminologia Anatomica.  2, record 11, French, - anastomose%20art%C3%A9rioloveinulaire

Record 11,  Textual support,  Spanish

Record 12,  Textual support,  English

Record number: 12, Textual support number: 1 DEF

[A] process that supports the analysis of software by simulating the execution of all or part of a program, using symbols for input data, such as names of variables, rather than actual values, and expressing program outputs as logical or mathematical expressions involving these symbols.  2, record 12, English, - symbolic%20execution

Record number: 12, Textual support number: 1 CONT

Symbolic execution does provide a complete way to establish program correctness when augmented by such case analyses and by a general inductive technique...  3, record 12, English, - symbolic%20execution

Record number: 12, Textual support number: 1 OBS

symbolic execution: designation standardized by the Institute of Electrical and Electronics Engineers (IEEE); designation and definition standardized by ISO and the International Electrotechnical Commission.  4, record 12, English, - symbolic%20execution

Record 12,  Textual support,  French

Record number: 12, Textual support number: 1 DEF

Processus d'analyse de logiciel consistant à simuler l'exécution de tout ou partie d'un programme en utilisant des symboles pour les données d'entrée, par exemple les noms des variables plutôt que leurs valeurs effectives, et en exprimant les sorties du programme sous forme d'expressions logiques ou mathématiques se référant à ces symboles.  2, record 12, French, - ex%C3%A9cution%20symbolique

Record number: 12, Textual support number: 1 OBS

exécution symbolique : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale.  3, record 12, French, - ex%C3%A9cution%20symbolique

Record 12,  Textual support,  Spanish

Record number: 12, Textual support number: 1 CONT

Existen dos enfoques para la verificación de programas, analítica y dinámica, y en medio de ellas, existe la ejecución simbólica, la que estáticamente analiza el código fuente de programas, y dinámicamente simula la ejecución de las instrucciones ejecutables de programas por medio de datos de entrada simbólicos.  1, record 12, Spanish, - ejecuci%C3%B3n%20simb%C3%B3lica

Record 13,  Textual support,  English

Record number: 13, Textual support number: 1 DEF

A check to determine the correctness of the transmission of data by returning the received data to the source for comparison with the originally transmitted data.  6, record 13, English, - echo%20check

Record number: 13, Textual support number: 1 OBS

echo check; loop check: designations and definition standardized by the Canadian Standards Association (CSA) and reproduced with its permission.  7, record 13, English, - echo%20check

Record 13,  Textual support,  French

Record number: 13, Textual support number: 1 DEF

Contrôle servant à vérifier la qualité d'une transmission en retournant à la source les données reçues ailleurs pour les comparer aux données transmises à l'origine.  1, record 13, French, - contr%C3%B4le%20en%20%C3%A9cho

Record number: 13, Textual support number: 1 OBS

contrôle en écho; contrôle en retour : désignations et définition normalisées par l'Association canadienne de normalisation (CSA) et reproduites avec son autorisation.  5, record 13, French, - contr%C3%B4le%20en%20%C3%A9cho

Record 13,  Textual support,  Spanish

Record number: 13, Textual support number: 1 DEF

Reexpedición al extremo emisor de unos datos recibidos en un equipo receptor, para compararlos con los originales y comprobar la exactitud de la transmisión efectuada.  1, record 13, Spanish, - realimentaci%C3%B3n%20de%20la%20informaci%C3%B3n

Record 14,  Textual support,  English

Record number: 14, Textual support number: 1 OBS

[A cable tester] tests insulated wires in aerial, underground, or submarine multiple-conductor cables to determine continuity, insulation, and correctness of cable loading, using standard testing procedures and impedance, resistance, and frequency oscillating meters[;] listens for sound of escaping insulating gas from hole in cable sheathing to locate defects in cable[;] determines continuity, insulation, capacity imbalance, and cable loading, using meters, such as capacity and resistance bridges[;] prepares report identifying location and cause of malfunctions...  2, record 14, English, - cable%20tester

Record 14,  Textual support,  French

Record number: 14, Textual support number: 1 DEF

[Personne qui] fait l'essai des conducteurs isolés des câbles de communication aériens, souterrains ou sous-marins à conducteurs multiples pour vérifier la continuité, l'isolation et la pupinisation [...]  4, record 14, French, - essayeur%20de%20c%C3%A2bles

Record number: 14, Textual support number: 1 OBS

[L'essayeur de câbles] reçoit des instructions de l'ouvrier travaillant au pupitre d'essai au sujet de l'emplacement de l'anomalie appréhendée dans le câble de communication; fixe, sur le câble, des instruments, tels que des ponts de capacitance et de résistance, et des instruments de mesure pour vérifier la continuité, l'isolation, la capacité de tension et les autres caractéristiques du câble; rend compte des anomalies au bureau central en vue de la remise en état par les équipes de réparation.  4, record 14, French, - essayeur%20de%20c%C3%A2bles

Record 14,  Textual support,  Spanish

Record 15,  Textual support,  English

Record number: 15, Textual support number: 1 CONT

The alt-right, shorthand for "alternative right, "is the blanket term for a loose gathering of conservatives primarily based online that can include everyone from critics of so-called "political correctness" on college campuses to hard-core white supremacists and neo-Nazis.  2, record 15, English, - alternative%20right

Record 15,  Textual support,  French

Record number: 15, Textual support number: 1 CONT

La droite alternative [...] est apparue il y a environ 8 ans. Son objectif était de défendre les valeurs des minorités blanches ruinées par le capitalisme financier américain mondialisateur et hyperlibéral.  2, record 15, French, - droite%20alternative

Record number: 15, Textual support number: 1 OBS

alternatif; alternative : L'emploi de l'adjectif «alternatif» est critiqué lorsqu'il est utilisé dans un contexte où l'on propose d'autres choix que ceux imposés par les sociétés industrielles, technologiques et par la société de consommation.  3, record 15, French, - droite%20alternative

Record 15,  Textual support,  Spanish

Record number: 15, Textual support number: 1 CONT

Lo que ahora se llama [...] "derecha alternativa", viene precisamente de la tradición supremacista estadounidense. Su origen hay que buscarlo allá por 2008, cuando [se usó] la expresión para designar a un movimiento conservador de marcado signo antisistema.  2, record 15, Spanish, - derecha%20alternativa

Record 16,  Textual support,  English

Record number: 16, Textual support number: 1 DEF

A program that is used to validate the functional correctness of the cryptographic algorithms implemented in [a] cryptographic module.  1, record 16, English, - Cryptographic%20Algorithm%20Validation%20Program

Record 16,  Textual support,  French

Record number: 16, Textual support number: 1 DEF

Programme servant à valider la pertinence fonctionnelle des algorithmes cryptographiques mis en œuvre dans un module cryptographique.  3, record 16, French, - Programme%20de%20validation%20des%20algorithmes%20cryptographiques

Record 16,  Textual support,  Spanish

Record 17,  Textual support,  English

Record number: 17, Textual support number: 1 DEF

One who reviews manuscripts for scientific and technical correctness.  4, record 17, English, - referee

Record number: 17, Textual support number: 1 CONT

Peer review lies at the heart of scientific and academic publishing. It is an indispensable part of the manuscript screening and selection process for referees determine which papers are accepted or rejected. ... Confidentiality is an important issue in the refereeing process. All the manuscripts reviewed were subjected to double-blind refereeing. The study team did not know who wrote the manuscripts, and the manuscript authors were unaware of the referees’ names.  5, record 17, English, - referee

Record number: 17, Textual support number: 2 CONT

Referees are chosen first and foremost for their expertise in the field.  6, record 17, English, - referee

Record 17,  Textual support,  French

Record number: 17, Textual support number: 1 DEF

Personne à qui on confie l'évaluation d'un manuscrit [scientifique].  6, record 17, French, - lecteur%20critique

Record number: 17, Textual support number: 1 CONT

[...] le manuscrit est confié au rédacteur qui l'adressera à un ou plusieurs lecteurs critiques et fera une synthèse des commentaires et des recommandations au rédacteur en chef. [...] La lecture par les pairs est au cœur du processus de publication. [...] Le lecteur critique idéal est celui qui maîtrise l'état des connaissances sur le sujet de l'article et les méthodes de recherche clinique et épidémiologique. Les lecteurs disponibles ayant rarement ces deux qualités, les revues exigeantes soumettent pour critique les manuscrits à au moins deux lecteurs dont les compétences se complètent.  7, record 17, French, - lecteur%20critique

Record 17,  Textual support,  Spanish

Record 18,  Textual support,  English

Record number: 18, Textual support number: 1 CONT

When groups are in the process of formation... one of the best indicators of their stability is the degree of consensus among members on the correctness of their norms and the degree to which the latitude of acceptance is binding without direct social pressure or threat of sanctions.  2, record 18, English, - consensus

Record number: 18, Textual support number: 1 OBS

Same as consent, i.e. of all, but often used misleadingly as a short form of "general or broad consensus" i.e. of the majority.  3, record 18, English, - consensus

Record number: 18, Textual support number: 1 PHR

Build consensus.  4, record 18, English, - consensus

Record 18,  Textual support,  French

Record number: 18, Textual support number: 1 CONT

Il n'y a pas de réunions possibles si tous ne sont pas d'accord pour travailler ensemble dans le sens des mêmes objectifs. C'est le consensus, la volonté d'œuvrer ensemble dans le même sens. [...] le consensus [...] est parfois acquis et implicite, les personnes n'ayant aucune raison de ne pas accepter de rechercher ensemble les moyens d'atteindre un objectif commun.  2, record 18, French, - consensus

Record number: 18, Textual support number: 1 OBS

Synonyme de consentement, i.e. de tous, mais souvent employé abusivement comme forme abrégée de consentement en général, i.e. de la majorité.  3, record 18, French, - consensus

Record number: 18, Textual support number: 1 PHR

Parvenir à un consensus.  4, record 18, French, - consensus

Record 18,  Textual support,  Spanish

Record number: 18, Textual support number: 1 PHR

Crear, promover consenso.  2, record 18, Spanish, - consenso

Record 19,  Textual support,  English

Record number: 19, Textual support number: 1 DEF

In proof of correctness, a description in a formal language of the externally visible behavior of a system or system component.  2, record 19, English, - formal%20specification

Record number: 19, Textual support number: 2 DEF

A specification written in a formal notation, often for use in correctness proving.  3, record 19, English, - formal%20specification

Record number: 19, Textual support number: 3 DEF

A specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation.  4, record 19, English, - formal%20specification

Record number: 19, Textual support number: 1 OBS

formal specification: term standardized by IEEE; ISO and CSA.  5, record 19, English, - formal%20specification

Record 19,  Textual support,  French

Record number: 19, Textual support number: 1 DEF

Spécification pouvant être utilisée afin de démontrer mathématiquement la validité de la mise en œuvre d'un système ou encore de dériver mathématiquement la mise en œuvre du système.  2, record 19, French, - sp%C3%A9cification%20formelle

Record number: 19, Textual support number: 2 DEF

Spécification écrite en notation formelle, souvent utilisée pour une démonstration d'exactitude.  3, record 19, French, - sp%C3%A9cification%20formelle

Record number: 19, Textual support number: 1 OBS

spécification formelle : terme normalisé par l'ISO/CEI et la CSA.  4, record 19, French, - sp%C3%A9cification%20formelle

Record 19,  Textual support,  Spanish

Record number: 19, Textual support number: 1 DEF

Especificación escrita en una notación formal.  1, record 19, Spanish, - especificaci%C3%B3n%20formal

Record 20,  Textual support,  English

Record number: 20, Textual support number: 1 DEF

The process of identifying and defining the configuration items in a system, controlling the release and change of these items throughout the system life cycle, recording and reporting the status of configuration items and change request, and verifying the completeness and correctness of configuration items.  3, record 20, English, - configuration%20management

Record number: 20, Textual support number: 1 OBS

configuration management: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  4, record 20, English, - configuration%20management

Record 20,  Textual support,  French

Record number: 20, Textual support number: 1 DEF

Processus d'identification et de définition des éléments de la configuration dans un système, de contrôle de la diffusion et de la modification de ces éléments durant tout le cycle de vie du système, d'enregistrement et de déclaration de l'état des éléments de la configuration et des demandes de changement, et de vérification de la complétude et de l'exactitude de ces éléments.  3, record 20, French, - gestion%20de%20la%20configuration

Record 20,  Textual support,  Spanish

Record 21,  Textual support,  English

Record number: 21, Textual support number: 1 DEF

A device that checks the correctness of transcribed data, usually by comparing with a second transcription of the same data or by comparing a retranscription with the original data. [Definition officially approved by GESC. ]  2, record 21, English, - verifier

Record number: 21, Textual support number: 1 OBS

verifier: term standardized by ISO; officially approved by the Government EDP (Electronic Data Processing) Standards Committee (GESC).  3, record 21, English, - verifier

Record 21,  Textual support,  French

Record number: 21, Textual support number: 1 DEF

Dispositif destiné à vérifier l'exactitude de données transcrites, habituellement par comparaison avec une nouvelle transcription des mêmes données, ou par comparaison d'une retranscription avec les données initiales.  2, record 21, French, - v%C3%A9rificatrice

Record number: 21, Textual support number: 1 OBS

vérificatrice : terme normalisé par l'ISO; uniformisé par le Comité des normes gouvernementales en informatique (CNGI).  3, record 21, French, - v%C3%A9rificatrice

Record 21,  Textual support,  Spanish

Record 22,  Textual support,  English

Record number: 22, Textual support number: 1 DEF

The evaluation of a design to determine correctness with respect to stated requirements, conformance to design standards, system efficiency, and other criteria.  1, record 22, English, - design%20analysis

Record number: 22, Textual support number: 1 OBS

design analysis: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, record 22, English, - design%20analysis

Record 22,  Textual support,  French

Record number: 22, Textual support number: 1 DEF

Évaluation de la conception du système pour déterminer l'exactitude quant aux exigences établies, la conformité aux normes de conception, l'efficacité du système et d'autres critères.  1, record 22, French, - %C3%A9valuation%20de%20l%27%C3%A9tude

Record 22,  Textual support,  Spanish

Record 23,  Textual support,  English

Record number: 23, Textual support number: 1 DEF

An independent review of source code by a person, team, or tool to verify compliance with software design documentation and programming standards. Correctness and efficiency may also be evaluated.  1, record 23, English, - code%20audit

Record number: 23, Textual support number: 1 OBS

code audit: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, record 23, English, - code%20audit

Record 23,  Textual support,  French

Record number: 23, Textual support number: 1 DEF

Examen indépendant du code source effectué par une personne, une équipe ou un outil pour vérifier sa conformité avec la documentation sur la conception de logiciel et avec les normes de programmation. L'exactitude et l'efficacité peuvent également être évaluées.  1, record 23, French, - v%C3%A9rification%20de%20code

Record 23,  Textual support,  Spanish

Record 24,  Textual support,  English

Record number: 24, Textual support number: 1 DEF

A proof of correctness technique in which assertions are written describing program inputs, outputs, and intermediate conditions, a set of theorems is developed relating satisfaction of the input assertions to satisfaction of the output assertions, and the theorems are proved to be true.  1, record 24, English, - inductive%20assertion%20method

Record number: 24, Textual support number: 1 OBS

inductive assertion: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, record 24, English, - inductive%20assertion%20method

Record 24,  Textual support,  French

Record number: 24, Textual support number: 1 DEF

Technique de la preuve d'exactitude dans laquelle les assertions écrite décrivent les entrées, les sorties et les conditions intermédiaires d'un programme; un ensemble de théorèmes est élaboré, qui établit un rapport entre la satisfaction des assertions d'entrée et la satisfaction des assertions de sortie, et la validité des théorèmes est démontrée.  1, record 24, French, - m%C3%A9thode%20d%27assertion%20inductive

Record 24,  Textual support,  Spanish

Record 25,  Textual support,  English

Record number: 25, Textual support number: 1 DEF

The extent to which software meets its specified requirements, user expectations and is free from design defects and from coding defects; that is, fault free.  2, record 25, English, - correctness

Record number: 25, Textual support number: 1 OBS

correctness : term and definition standardized by the Institute of Electrical and Electronics Engineers(IEEE).  3, record 25, English, - correctness

Record 25,  Textual support,  French

Record number: 25, Textual support number: 1 DEF

Qualité qui indique dans quelle mesure le logiciel est conforme aux exigences spécifiées, répond aux désirs de l'utilisateur et est exempt de défauts de conception et de programmation, c'est-à-dire parfaitement au point.  3, record 25, French, - exactitude

Record 25,  Textual support,  Spanish

Record 26,  Textual support,  English

Record number: 26, Textual support number: 1 DEF

A class of software tools used to evaluate products of the software development process. These tools aid in the verification of such characteristics as correctness, completeness, consistency, traceability, testability, and adherence to standards. Examples include design analyzers, and standards enforcers.  1, record 26, English, - automated%20verification%20tool

Record number: 26, Textual support number: 1 OBS

automated verification tool: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, record 26, English, - automated%20verification%20tool

Record 26,  Textual support,  French

Record number: 26, Textual support number: 1 DEF

Catégorie d'outils logiciels utilisés pour évaluer les produits du processus d'élaboration de logiciels. Ces outils contribuent à la vérification de caractéristiques d'exactitude, de complétude, de cohérence, de possibilité de repérage, de testabilité et de conformité aux normes. Les analyseurs de projets, les systèmes automatisés de vérification, les analyseurs statiques, les analyseurs dynamiques et les logiciels de contrôle des normes de développement en sont quelques exemples.  1, record 26, French, - outil%20d%27aide%20%C3%A0%20la%20v%C3%A9rification%20automatis%C3%A9e

Record 26,  Textual support,  Spanish

Record 27,  Textual support,  English

Record number: 27, Textual support number: 1 DEF

A software tool whose input is a computer program and a representation of its specification, and whose output is a correctness proof or disproof of the program.  2, record 27, English, - automated%20verification%20system

Record number: 27, Textual support number: 1 OBS

automated verification system: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, record 27, English, - automated%20verification%20system

Record 27,  Textual support,  French

Record number: 27, Textual support number: 1 DEF

Outil logiciel qui accepte, comme entrée, un programme machine et une représentation de ses caractéristiques et qui produit, possiblement avec l'aide d'un utilisateur, une preuve d'exactitude ou d'inexactitude du programme.  1, record 27, French, - syst%C3%A8me%20automatis%C3%A9%20de%20v%C3%A9rification

Record 27,  Textual support,  Spanish

Record 28,  Textual support,  English

Record number: 28, Textual support number: 1 DEF

The examination of an algorithm to determine its correctness with respect to its intended use, to determine its operational characteristics, or to understand it more fully in order to modify, simplify, or improve it.  1, record 28, English, - algorithm%20analysis

Record number: 28, Textual support number: 1 OBS

algorithm analysis: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, record 28, English, - algorithm%20analysis

Record 28,  Textual support,  French

Record number: 28, Textual support number: 1 DEF

Examen d'un algorithme pour déterminer son exactitude par rapport à l'usage que l'on veut en faire, pour déterminer ses caractéristiques opérationnelles ou pour mieux le comprendre afin de le modifier, de le simplifier ou de l'améliorer.  1, record 28, French, - analyse%20d%27un%20algorithme

Record 28,  Textual support,  Spanish

Record 29,  Textual support,  English

Record number: 29, Textual support number: 1 DEF

Conformity to a body of liberal or radical opinion on social matters, characterized by the advocacy of approved views and the rejection of language and behaviour considered discriminatory or offensive.  3, record 29, English, - political%20correctness

Record number: 29, Textual support number: 1 CONT

PC for political correctness has been widely used in the nineties ironically, or pejoratively and its derivatives PC-ery(after popery and quackery), and PC-ness have been recorded.  3, record 29, English, - political%20correctness

Record number: 29, Textual support number: 2 CONT

A new ecclesiastical jurisdiction has been eating away at the margins of civil authority. It surfaced as the dispute over "Political Correctness"(PC) or the seizure of normally secular jurisdiction by campus "courts". This new orthodoxy rests on the premise that colleges and universities have a jurisdiction over the lives of their students that is independent of the law of the land. The discussion of PC has indicated the ludicrous length this new faith has reached, and has done a good deal to discredit its prophets.(National Review, October 2, 1991, p. 34).  4, record 29, English, - political%20correctness

Record number: 29, Textual support number: 1 OBS

Related terms: politically correct; political incorrectness, PCery, PCness, politically incorrect.  4, record 29, English, - political%20correctness

Record 29,  Textual support,  French

Record number: 29, Textual support number: 1 CONT

Le concept de rectitude politique, tel qu'il s'est imposé jusqu'à ce jour, consiste à ne pas dire et à ne pas faire quoi que ce soit qui puisse nuire directement ou indirectement ou avoir l'apparence de nuire directement ou indirectement aux droits, aux libertés et/ou, encore plus globalement, à l'intérêt général des groupes minoritaires et/ou, encore plus globalement, à l'intérêt général des groupes minoritaires et/ou défavorisés qui participent à la vie sur cette planète. Car, précisons-le, cette obligation de rectitude ne se limite pas à l'espèce humaine ....  6, record 29, French, - rectitude%20politique

Record number: 29, Textual support number: 2 CONT

[...] la liberté d'expression est en butte aux attaques des tenants d'une nouvelle orthodoxie intellectuelle, partisans d'une «police de la pensée» qui définit ce qui est acceptable et ce qui ne l'est pas. Cette forme de terrorisme intellectuel de gauche a un nom : «political correctness», le «politically correct», souvent abrégé en «p.c.».  2, record 29, French, - rectitude%20politique

Record number: 29, Textual support number: 1 OBS

orthodoxie : ensemble des principes, des usages ... généralement admis (en matière d'art, de science, de morale). Ex. orthodoxie marxiste, orthodoxie catholique, orthodoxie d'un jugement littéraire.  7, record 29, French, - rectitude%20politique

Record number: 29, Textual support number: 2 OBS

conformisme : attitude passive de celui qui se conforme aux idées et aux usages de son milieu.  8, record 29, French, - rectitude%20politique

Record number: 29, Textual support number: 3 OBS

Voir aussi «politiquement correct».  3, record 29, French, - rectitude%20politique

Record 29,  Textual support,  Spanish

Record 30,  Textual support,  English

Record number: 30, Textual support number: 1 DEF

A formal mathematic demonstration that the semantics of a program are consistent with the specifications of that program.  2, record 30, English, - proof%20of%20correctness

Record number: 30, Textual support number: 1 OBS

See also : partial correctness, total correctness.  3, record 30, English, - proof%20of%20correctness

Record number: 30, Textual support number: 2 OBS

proof of correctness : standardized by IEEE; correctness proving : Term and definition standardized by ISO/IEC.  1, record 30, English, - proof%20of%20correctness

Record 30,  Textual support,  French

Record number: 30, Textual support number: 1 DEF

Démonstration mathématique formelle pour démontrer que la sémantique d'un programme est conforme aux spécifications de ce programme.  1, record 30, French, - d%C3%A9monstration%20d%27exactitude

Record number: 30, Textual support number: 1 OBS

Voir également : exactitude partielle, exactitude totale.  2, record 30, French, - d%C3%A9monstration%20d%27exactitude

Record number: 30, Textual support number: 2 OBS

démonstration d'exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI.  2, record 30, French, - d%C3%A9monstration%20d%27exactitude

Record 30,  Textual support,  Spanish

Record 31,  Textual support,  English

Record number: 31, Textual support number: 1 DEF

A program that uses information in natural language input to fill data structures that the rest of the system can use; it identifies the various components of the input sentence and constructs an internal representation using syntactic and semantic clues.  7, record 31, English, - analyser

Record number: 31, Textual support number: 1 CONT

X-TRA and XTRA-TE share the same analyzer, a syntax driven top-down, depth-first parser written in the formalism of definite clause grammars ..., but augmented with semantic routines for carrying out lexical and structural disambiguation. The parser takes the English input sentence ... and accomplishes syntactic/semantic analysis on the list. Syntax and semantics are closely integrated so that syntactically well-formed but semantically invalid parses are ruled out as early as possible.  8, record 31, English, - analyser

Record number: 31, Textual support number: 2 CONT

FGA, unlike other attempted natural language parser, is based on only a small subset of the complete French grammar and dictionary.  5, record 31, English, - analyser

Record number: 31, Textual support number: 3 CONT

We intend to encourage language learners to communicate with their pen pals electronically.... the intended mail message will first be subjected to one of our language analysers. The user will be helped to correct his/her message to an adequate level of grammatical correctness.  4, record 31, English, - analyser

Record 31,  Textual support,  French

Record number: 31, Textual support number: 1 DEF

Programme qui part d'un texte en langue naturelle pour aboutir à la représentation intermédiaire du sens du texte.  4, record 31, French, - analyseur

Record number: 31, Textual support number: 1 CONT

Un système intelligent [...] est à même d'extraire des connaissances de l'information que lui transmet son utilisateur. Ce qui implique au moins l'existence d'un analyseur (parseur).  5, record 31, French, - analyseur

Record number: 31, Textual support number: 2 CONT

L'élève doit écrire en toutes lettres sa réponse en la tapant au clavier. Un analyseur de réponse vérifiera si ce qu'il a écrit correspond à une réponse attendue ou non.  6, record 31, French, - analyseur

Record number: 31, Textual support number: 1 OBS

Le terme «parseur» est dérivé du latin «pars orationis».  7, record 31, French, - analyseur

Record number: 31, Textual support number: 1 PHR

analyseur déterministe, syntaxico-sémantique, logique, micro-analyseur.  8, record 31, French, - analyseur

Record 31,  Textual support,  Spanish

Record 32,  Textual support,  English

Record number: 32, Textual support number: 1 DEF

An indication that a program’s output assertions follow logically from its input assertions, and that the program terminates under all specified input conditions.  2, record 32, English, - total%20correctness

Record number: 32, Textual support number: 1 OBS

total correctness : Term standardized by ISO/IEC and by IEEE.  3, record 32, English, - total%20correctness

Record 32,  Textual support,  French

Record number: 32, Textual support number: 1 DEF

Dans la preuve d'exactitude, expression indiquant que les assertions de sortie d'un programme découlent logiquement des assertions d'entrée et des étapes du traitement et, en outre, que l'exécution du programme se termine conformément à toutes les conditions d'entrée spécifiées.  2, record 32, French, - exactitude%20compl%C3%A8te

Record number: 32, Textual support number: 1 OBS

Antonyme d'exactitude partielle.  2, record 32, French, - exactitude%20compl%C3%A8te

Record number: 32, Textual support number: 2 OBS

exactitude complète; correction globale : Termes normalisés par l'ISO/CEI.  3, record 32, French, - exactitude%20compl%C3%A8te

Record 32,  Textual support,  Spanish

Record 33,  Textual support,  English

Record number: 33, Textual support number: 1 DEF

An indicator, often a single bit, used to indicate some correctness condition.  2, record 33, English, - correct%20flag

Record 33,  Textual support,  French

Record number: 33, Textual support number: 1 DEF

élément d'information logique signalant l'exactitude d'une condition quelconque dans un ordinateur.  1, record 33, French, - drapeau%20d%27exactitude

Record 33,  Textual support,  Spanish

Record 35,  Textual support,  English

Record number: 35, Textual support number: 1 CONT

By the late eighties, the proponents of political correctness were held to be perpetrators of a new kind of bigotry... Circumlocutions used in an attempt to avoid "politically incorrect" language... were widely ridiculed. By the early nineties use of the term "political correctness" was almost always pejorative, while the labels "politically incorrect" and "political incorrectness" frequently suggested the notion that the idea or statement was bravely expressed.  1, record 35, English, - political%20incorrectness

Record 35,  Textual support,  French

Record number: 35, Textual support number: 1 OBS

Voir «nouvelle orthodoxie intellectuelle».  1, record 35, French, - non%2Dconformisme%20politique

Record 35,  Textual support,  Spanish

Record 36,  Textual support,  English

Record number: 36, Textual support number: 1 DEF

The correctness, timeliness, accuracy, completeness, relevance and accessibility that make data appropriate for their use.  2, record 36, English, - data%20quality

Record number: 36, Textual support number: 1 OBS

data quality: term standardized by CSA and ISO.  3, record 36, English, - data%20quality

Record 36,  Textual support,  French

Record number: 36, Textual support number: 1 DEF

L'exactitude, l'actualité, la précision, l'exhaustivité, la pertinence et l'accessibilité des données en vue de leur utilisation optimale.  2, record 36, French, - qualit%C3%A9%20des%20donn%C3%A9es

Record number: 36, Textual support number: 1 OBS

qualité des données : terme normalisé par l'ISO et la CSA.  3, record 36, French, - qualit%C3%A9%20des%20donn%C3%A9es

Record 36,  Textual support,  Spanish

Record number: 36, Textual support number: 1 DEF

La corrección, puntualidad, precisión, integridad, importancia y accesibilidad que hacen que los datos sean apropiados para su utilización.  2, record 36, Spanish, - calidad%20de%20los%20datos

Record 37,  Textual support,  English

Record number: 37, Textual support number: 1 DEF

A clerk of court, particularly a chief or principal clerk. A ministerial officer of the court, having the custody of its records and seals, with power to certify the correctness of transcripts from such records, and possessing authority to perform certain acts of a judicial nature incidental to his ministerial duties.  3, record 37, English, - prothonotary

Record 37,  Textual support,  French

Record number: 37, Textual support number: 1 DEF

Préposé à l'administration d'un palais de justice; dépositaire de tous les papiers de cour d'un palais de justice; dépositaire des registres de ce dernier; celui qui émet les brefs et autres papiers de cour en leur donnant, par sa signature, un caractère d'authenticité. -- Officier public qui, en l'absence du juge, peut rendre des décisions et auquel on s'adresse en matière de nomination de tuteur, d'interdiction et de mariage civil.  2, record 37, French, - protonotaire

Record 37,  Textual support,  Spanish

Record 38,  Textual support,  English

Record number: 38, Textual support number: 1 DEF

A written document or note, or other material evidence, serving to attest the correctness of accounts or monetary transactions, to prove the delivery of goods or valuable etc.  2, record 38, English, - voucher

Record 38,  Textual support,  French

Record number: 38, Textual support number: 1 OBS

pièce justificative : Recommandation du Comité d'uniformisation des règles de procédure civile dans le cadre du PAJLO.  3, record 38, French, - pi%C3%A8ce%20justificative

Record 38,  Textual support,  Spanish

Record 39,  Textual support,  English

Record number: 39, Textual support number: 1 CONT

Each insured bank shall, as a condition to the right to deduct any specific uncollected item in determining its assessment base, maintain such records as will readily permit verification of the correctness of the particular deduction claimed.  2, record 39, English, - uncollected%20item

Record 39,  Textual support,  French

Record number: 39, Textual support number: 1 CONT

Effet non perçu [...] Lorsque le tireur d'un effet n'honore pas ses engagements à échéance, l'effet est considéré comme impayé et n'est par conséquent plus négociable.  1, record 39, French, - effet%20non%20per%C3%A7u

Record number: 39, Textual support number: 2 CONT

À maturité, l'effet non encaissé est présenté à l'entreprise.  3, record 39, French, - effet%20non%20per%C3%A7u

Record 39,  Textual support,  Spanish

Record 40,  Textual support,  English

Record number: 40, Textual support number: 1 OBS

culinary correctness : A term modelled on political correctness.  2, record 40, English, - culinary%20correctness

Record 40,  Textual support,  French

Record number: 40, Textual support number: 1 CONT

L'Empire Ducasse : Il ne cuisine plus, il dirige. Le premier cuisinier français à avoir décroché deux fois trois étoiles dans le Michelin - le petit livre rouge et l'orthodoxie culinaire - a quitté ses fourneaux pour les commandes d'un empire qui porte son nom.  1, record 40, French, - orthodoxie%20culinaire

Record number: 40, Textual support number: 1 OBS

orthodoxe : Conforme à une doctrine quelconque, aux opinions et usages établis.  2, record 40, French, - orthodoxie%20culinaire

Record 40,  Textual support,  Spanish

Record 41,  Textual support,  English

Record number: 41, Textual support number: 1 DEF

The process of evaluating the completeness, correctness, and conformance/compliance of a specific data set against the method, procedural, or contractual requirements.  2, record 41, English, - data%20verification

Record number: 41, Textual support number: 1 OBS

data verification: term officially approved by the RADARSAT-2 Terminology Approval Group (RTAG).  3, record 41, English, - data%20verification

Record 41,  Textual support,  French

Record number: 41, Textual support number: 1 DEF

Vérification servant à assurer la validité des données.  2, record 41, French, - v%C3%A9rification%20de%20donn%C3%A9es

Record number: 41, Textual support number: 1 OBS

vérification de données : terme uniformisé par le Groupe de travail de la terminologie de RADARSAT-2 (GTTR).  2, record 41, French, - v%C3%A9rification%20de%20donn%C3%A9es

Record 41,  Textual support,  Spanish

Record 43,  Textual support,  English

Record number: 43, Textual support number: 1 CONT

Machine-machine interaction is all about speed and correctness. It can go thousands of times faster, but even small discrepancies in data can cause breakage if the design is careless. The good MMI optimizes the communication protocol to send the most amount of information in the least amount of time, and pretty much ignores any other considerations.  2, record 43, English, - machine%2Dmachine%20interaction

Record 43,  Textual support,  French

Record number: 43, Textual support number: 1 CONT

Une distinction fondamentale réside dans le fait que les interactions entre machines suivent des protocoles pré-établis et séquentiels alors que les interactions entre humains peuvent se passer de ces règles et programmations. C'est une différence majeure. Mais décrire de façon généralisante l'interaction du point de vue de l'interaction 'machine-machine' amènerait une opinion trop réductrice du potentiel d'interaction entre personnes. Un danger apparaît lorsque de telles descriptions interactives deviennent en outre préscriptives et déterminantes pour l'interaction entre humains. C'est pourquoi le domaine de l'interaction «être humain-machine» est le terrain où le conflit entre les diverses opinions sur l'interaction, apparaît à la surface. Ce conflit traduit le dilemme actuel auquel l'informatique se voit confronté. L'interaction dans l'informatique est-elle uniquement celle entre les artefacts techniques ? Le point de départ est-il l'ensemble de l'interaction entre personnes et de l'interactions entre personnes et artefacts techniques ?  2, record 43, French, - interaction%20machine%2Dmachine

Record 43,  Textual support,  Spanish

Record 50,  Textual support,  English

Record number: 50, Textual support number: 1 DEF

A learning strategy which consists in observing and analyzing different entities and determining that some of their subsets can be grouped into certain classes, without any correctness test being performed on acquired knowledge through feedback from external sources.  2, record 50, English, - learning%20from%20observation%20and%20discovery

Record 50,  Textual support,  French

Record number: 50, Textual support number: 1 DEF

Stratégie d'apprentissage qui procède par observation et analyse d'entités afin d'en déterminer les sous-ensembles regroupables en classes, sans vérifier, par une rétroaction extérieure, la justesse des connaissances acquises.  2, record 50, French, - apprentissage%20par%20observation%20et%20d%C3%A9couverte