TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

A systematic approach to the creation of software that defines development phases and specifies the activities, products, verification procedures, and completion criteria for each phase.  1, fiche 1, Anglais, - development%20methodology

Record number: 1, Textual support number: 1 OBS

development methodology: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, fiche 1, Anglais, - development%20methodology

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Approche systématique relative à la création d'un logiciel qui définit les phases de développement et qui précise les activités, les produits, les procédures de vérification et les critères d'achèvement pour chaque phase.  1, fiche 1, Français, - m%C3%A9thodologie%20d%27%C3%A9laboration

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 OBS

Health Canada. The Inspectorate is responsible for branch-wide compliance and enforcement activities, enabling consistency of approach across the spectrum of regulated products. The Inspectorate core functions are compliance monitoring, and compliance verification and investigation, supported by establishment licensing of drugs and medical devices, and laboratory analysis.  2, fiche 2, Anglais, - Health%20Products%20and%20Food%20Branch%20Inspectorate

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 OBS

Santé Canada. L'Inspectorat est responsable des activités de conformité et d'application de la loi à l'échelle de la Direction générale, ce qui permet d'adopter une approche uniforme pour l'ensemble des produits réglementés. Les fonctions principales de l'Inspectorat sont la surveillance de la conformité, d'une part, et les enquêtes et la vérification de la conformité d'autre part. Ces fonctions sont appuyées par l'agrément des établissements de drogues et des instruments médicaux, et par des analyses de laboratoire.  2, fiche 2, Français, - Inspectorat%20de%20la%20Direction%20g%C3%A9n%C3%A9rale%20des%20produits%20de%20sant%C3%A9%20et%20des%20aliments

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

Aerospace Application Test Evaluation : The evaluation addressed the rationale and pilot application of an audit approach to verification of trade information.  2, fiche 3, Anglais, - aerospace%20application%20test

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

Évaluation d'un test d'application dans le secteur aérospatial : L'évaluation a porté sur la raison d'être et l'application pilote d'une méthode de vérification destinée à valider les données du secteur en question.  2, fiche 3, Français, - test%20d%27application%20du%20secteur%20a%C3%A9rospatial

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

Design Versus Verification : is Verification the Wrong Approach? A lot of work in the Computer Security community has concentrated on designing tools to FORMALLY VERIFY the security of cryptographic protocols. On the other hand, in the Cryptographic community research has focused on DESIGNING PROVABLY SECURE PROTOCOLS, i. e., protocols that are as secure as the underling cryptographic primitive. With such protocols, if there is a weakness in the protocol, this can be exploited to break the underlying cryptographic scheme or assumption. Both approaches have had their problems... Jonathan Millen(Mitre : to defend the verification approach).  1, fiche 4, Anglais, - verification%20approach

Fiche 4,  Justifications,  Français

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

Moriconi... describes another program verification system, which emphasizes the intelligent assistant approach and support for incremental changes in programs and associated proofs.  1, fiche 5, Anglais, - incremental%20change

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 CONT

[...] les preuves rigoureuses des programmes d'intelligence artificielle sont à peu près aussi nombreuses que les propositions de logique classique [...] En ce qui concerne le développement de programmes d'intelligence artificielle, on ne se pose pas de question sur la nécessité des modifications incrémentielles.  1, fiche 5, Français, - modification%20incr%C3%A9mentielle

Record number: 5, Textual support number: 1 OBS

Voir aussi «incrémentiel».  2, fiche 5, Français, - modification%20incr%C3%A9mentielle

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 CONT

As the Government supports an incremental, but deliberate and progressive approach to a nuclear test ban, we welcomed the 1990 Bush-Gorbachev agreement on verification protocols, which finalized the 1974 Threshold Test Ban Treaty and the 1976 Peaceful Nuclear Explosion Treaty.  1, fiche 6, Anglais, - Bush%2DGorbachev%20agreement

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

As the Government supports an incremental, but deliberate and progressive approach to a nuclear test ban, we welcomed the 1990 Bush-Gorbachev agreement on verification protocols, which finalized the 1974 Threshold Test Ban Treaty and the 1976 Peaceful Nuclear Explosion Treaty.  1, fiche 7, Anglais, - verification%20protocol

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 CONT

As the Government supports an incremental, but deliberate and progressive approach to a nuclear test ban, we welcomed the 1990 Bush-Gorbachev agreement on verification protocols, which finalized the 1974 Threshold Test Ban Treaty and the 1976 Peaceful Nuclear Explosion Treaty.  1, fiche 8, Anglais, - Peaceful%20Nuclear%20Explosion%20Treaty

Fiche 8,  Justifications,  Français

Fiche 8,  Justifications,  Espagnol