TERMIUM Plus®

Par le Bureau de la traduction

Dans les médias sociaux

Consultez la banque de données terminologiques du gouvernement du Canada.

INPUT SPECIFICATION [12 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 2016-05-12

Anglais

Subject field(s)
  • Computer Programs and Programming
DEF

A specification of how hyperobjects are to be presented to a user and how input from the user is to be handled.

Français

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

Spécification de la manière dont les [hyperobjets] doivent être présentés à un utilisateur et dont la réponse doit être gérée.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
Conserver la fiche 1

Fiche 2 2012-11-02

Anglais

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

A specification that documents the design of a system or system component; for example, a software configuration item. Typical contents include system or component algorithms, control logic, data structures, data set-use information, input/output formats, and interface descriptions.

CONT

A designer will try to understand a design problem that has been assigned to him by writing a design specification. The specifications relate to technical systems that do not exist at that time. Other specifications relate to existing systems, for instance manufacturing specifications, test specifications, operation specifications....

OBS

See also "requirements specifications".

OBS

As a rule when "specification" is used in the singular, the writer is referring to the document; when it is used in the plural, "specifications" means the statements included in the document.

OBS

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

Français

Domaine(s)
  • Ingénierie
  • Traitement de l'information (Informatique)
  • Analyse des systèmes informatiques
DEF

Spécification qui documente la conception d'un système ou d'un élément de système; par exemple, un élément de la configuration d'un logiciel. Les contenus types comprennent les algorithmes du système ou de l'élément, la logique de commande, les structures de données, les renseignements sur l'utilisation d'un ensemble de données, les formats d'entrée/sortie et les descriptions des interfaces.

OBS

Voir également «spécification des exigences».

Espagnol

Campo(s) temático(s)
  • Ingeniería
  • Tratamiento de la información (Informática)
  • Análisis de los sistemas de informática
DEF

Resultado de un análisis de las necesidades de información de un sistema específico dentro de una organización; incluyendo las especificaciones para las entradas, salidas y procesamiento.

Conserver la fiche 2

Fiche 3 2012-10-03

Anglais

Subject field(s)
  • Computer Programs and Programming
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.

OBS

automated verification system: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).

Français

Domaine(s)
  • Programmes et programmation (Informatique)
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.

Espagnol

Conserver la fiche 3

Fiche 4 2004-04-15

Anglais

Subject field(s)
  • Titles of Monographs
  • Internet and Telematics
OBS

By the World Wide Web Consortium (W3C), 2003. Second edition. "The English version of this specification is the only normative version".

OBS

This specification defines the Mathematical Markup Language, or MathML. MathML is an XML application for describing mathematical notation and capturing both its structure and content. The goal of MathML is to enable mathematics to be served, received, and processed on the World Wide Web, just as HTML has enabled this functionality for text. This specification of the markup language MathML is intended primarily for a readership consisting of those who will be developing or implementing renderers or editors using it, or software that will communicate using MathML as a protocol for input or output. It is not a User's Guide but rather a reference document.

Français

Domaine(s)
  • Titres de monographies
  • Internet et télématique
OBS

Par le consortium W3C, 2001. «Ceci est une traduction ... Seul le document original en anglais a valeur de norme».

OBS

Cette spécification définit le langage de balisage mathématique, ou MathML. MathML est une application XML pour décrire une écriture mathématique et pour en capturer à la fois la structure et le contenu. L'objectif de MathML est de permettre de servir des mathématiques, de les recevoir et les traiter sur le Web, tout comme HTML a permis cette fonctionnalité pour le texte. Cette spécification du langage de balisage MathML est destinée principalement à un lectorat formé de ceux qui développeront ou implémenteront des moteurs de rendu ou des éditeurs à partir de celle-ci, ou des logiciels qui communiqueront en utilisant MathML comme protocole en entrée ou en sortie. Ce n'est pas un mode d'emploi, mais plutôt un document de référence.

Espagnol

Conserver la fiche 4

Fiche 5 2002-03-28

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Operating Systems (Software)
DEF

A system for use by language designs as opposed to compiler writers which will accept as input a formal specification of a language and which will generate as output a translater for the specified language.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Systèmes d'exploitation (Logiciels)

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
  • Sistemas operativos (Soporte lógico)
DEF

Conjunto de herramientas de la programática, diseñadas para ayudar en la producción de traductores de nuevos programas.

Conserver la fiche 5

Fiche 6 1999-01-19

Anglais

Subject field(s)
  • Computer Programs and Programming
DEF

A program known as the system generator receives as input a description of(say) the basic operating system to be generated and a specification of parameters describing the specific installation(such as the types, quantities, and configuration of the system equipment).

Français

Domaine(s)
  • Programmes et programmation (Informatique)

Espagnol

Conserver la fiche 6

Fiche 7 1992-11-13

Anglais

Subject field(s)
  • Informatics

Français

Domaine(s)
  • Informatique

Espagnol

Conserver la fiche 7

Fiche 8 1992-11-13

Anglais

Subject field(s)
  • Informatics

Français

Domaine(s)
  • Informatique

Espagnol

Conserver la fiche 8

Fiche 9 1989-06-27

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

A more advanced problem is function induction, where the interpreter is fixed, a set of input/output pars is given. The problem is to find the specification of a function that, when applied to all the inputs, gives the outputs.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 9

Fiche 10 1989-06-27

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

The usual way to implement a function is to fix the interpreter and specification to give input, and wait for the output. This is called function application.

Français

Domaine(s)
  • Intelligence artificielle
OBS

Voir application, programmation fonctionnelle.

Espagnol

Conserver la fiche 10

Fiche 11 1989-06-27

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A method of defining problems by keeping the interpreter and specification fixed, giving the output, and then trying to find an input that would give that output.

Français

Domaine(s)
  • Intelligence artificielle
OBS

Comparer à application fonctionnelle, induction de fonction.

Espagnol

Conserver la fiche 11

Fiche 12 1985-03-28

Anglais

Subject field(s)
  • Programming Languages
CONT

... there is another language for functional decomposition and input/output specification : IORL(Input/Output Requirements Language). Although these do some useful specification checking, they cannot check detailed logic or specify the order and timing constraints needed in real-time systems.

Français

Domaine(s)
  • Langages de programmation
OBS

langage de spécification entrée/sortie.

Espagnol

Conserver la fiche 12

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2026
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

GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)

Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.

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 :