TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

SPECIFICATION FORMELLE [4 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2017-01-26

Anglais

Subject field(s)
  • Systems Analysis (Information Processing)
  • Life Cycle (Informatics)
DEF

In proof of correctness, a description in a formal language of the externally visible behavior of a system or system component.

DEF

A specification written in a formal notation, often for use in correctness proving.

DEF

A specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation.

OBS

formal specification: term standardized by IEEE; ISO and CSA.

Français

Domaine(s)
  • Analyse des systèmes informatiques
  • Cycle de vie (Informatique)
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.

DEF

Spécification écrite en notation formelle, souvent utilisée pour une démonstration d'exactitude.

OBS

spécification formelle : terme normalisé par l'ISO/CEI et la CSA.

Espagnol

Campo(s) temático(s)
  • Análisis de los sistemas de informática
  • Ciclo de vida (Informática)
DEF

Especificación escrita en una notación formal.

Conserver la fiche 1

Fiche 2 2012-10-03

Anglais

Subject field(s)
  • Computer Programs and Programming
DEF

A specification written and approved in accordance with established standards.

OBS

formal specification: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).

Français

Domaine(s)
  • Programmes et programmation (Informatique)
DEF

Spécification écrite et approuvée conformément à des normes établies.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
DEF

Especificación escrita y aprobada de acuerdo con normas establecidas.

Conserver la fiche 2

Fiche 3 - données d’organisme externe 2012-09-24

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
20.01.04 (2382)
numéro d'article de norme ISO/CEI
DEF

<system development> specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation

OBS

formal specification: term and definition standardized by ISO/IEC [ISO/IEC 2382-20:1990].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
20.01.04 (2382)
numéro d'article de norme ISO/CEI
DEF

<développement de système> 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

OBS

spécification formelle : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-20:1990].

Espagnol

Conserver la fiche 3

Fiche 4 - données d’organisme externe 2011-06-13

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
07.07.29 (2382)
numéro d'article de norme ISO/CEI
DEF

<computer programming> specification written in a formal notation, often for use in correctness proving

OBS

formal specification: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
07.07.29 (2382)
numéro d'article de norme ISO/CEI
DEF

<programmation des ordinateurs> spécification écrite en notation formelle, souvent utilisée pour une démonstration d'exactitude

OBS

spécification formelle : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000].

Espagnol

Conserver la fiche 4

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

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

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 :