TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 DEF

A specification of how hyperobjects are to be presented to a user and how input from the user is to be handled.  2, record 1, English, - script

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 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.  2, record 1, French, - script

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 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.  2, record 2, English, - design%20specification

Record number: 2, Textual support number: 1 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....  3, record 2, English, - design%20specification

Record number: 2, Textual support number: 1 OBS

See also "requirements specifications".  2, record 2, English, - design%20specification

Record number: 2, Textual support number: 2 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.  4, record 2, English, - design%20specification

Record number: 2, Textual support number: 3 OBS

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

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 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.  1, record 2, French, - sp%C3%A9cification%20du%20projet

Record number: 2, Textual support number: 1 OBS

Voir également «spécification des exigences».  1, record 2, French, - sp%C3%A9cification%20du%20projet

Record 2,  Textual support,  Spanish

Record number: 2, Textual support number: 1 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.  1, record 2, Spanish, - especificaci%C3%B3n%20del%20dise%C3%B1o

Record 3,  Textual support,  English

Record number: 3, 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 3, English, - automated%20verification%20system

Record number: 3, Textual support number: 1 OBS

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

Record 3,  Textual support,  French

Record number: 3, 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 3, French, - syst%C3%A8me%20automatis%C3%A9%20de%20v%C3%A9rification

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 OBS

By the World Wide Web Consortium (W3C), 2003. Second edition. "The English version of this specification is the only normative version".  2, record 4, English, - Mathematical%20Markup%20Language%20%28MathML%29%20Version%202%2E0

Record number: 4, Textual support number: 2 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.  1, record 4, English, - Mathematical%20Markup%20Language%20%28MathML%29%20Version%202%2E0

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 OBS

Par le consortium W3C, 2001. «Ceci est une traduction ... Seul le document original en anglais a valeur de norme».  2, record 4, French, - Le%20langage%20de%20balisage%20math%C3%A9matique%20%28MathML%29%20version%202%2E0

Record number: 4, Textual support number: 2 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.  1, record 4, French, - Le%20langage%20de%20balisage%20math%C3%A9matique%20%28MathML%29%20version%202%2E0

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 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.  1, record 5, English, - translation%20writing%20system

Record 5,  Textual support,  French

Record 5,  Textual support,  Spanish

Record number: 5, Textual support number: 1 DEF

Conjunto de herramientas de la programática, diseñadas para ayudar en la producción de traductores de nuevos programas.  1, record 5, Spanish, - sistema%20de%20escritura%20para%20traductores

Record 6,  Textual support,  English

Record number: 6, Textual support number: 1 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).  1, record 6, English, - system%20generator

Record 6,  Textual support,  French

Record 6,  Textual support,  Spanish

Record 7,  Textual support,  French

Record 7,  Textual support,  Spanish

Record 8,  Textual support,  French

Record 8,  Textual support,  Spanish

Record 9,  Textual support,  English

Record number: 9, Textual support number: 1 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.  1, record 9, English, - function%20induction

Record 9,  Textual support,  French

Record 9,  Textual support,  Spanish

Record 10,  Textual support,  English

Record number: 10, Textual support number: 1 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.  1, record 10, English, - function%20application

Record 10,  Textual support,  French

Record number: 10, Textual support number: 1 OBS

Voir application, programmation fonctionnelle.  1, record 10, French, - application%20fonctionnelle

Record 10,  Textual support,  Spanish

Record 11,  Textual support,  English

Record number: 11, Textual support number: 1 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.  1, record 11, English, - function%20inversion

Record 11,  Textual support,  French

Record number: 11, Textual support number: 1 OBS

Comparer à application fonctionnelle, induction de fonction.  1, record 11, French, - inversion%20de%20fonction

Record 11,  Textual support,  Spanish

Record 12,  Textual support,  English

Record number: 12, Textual support number: 1 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.  1, record 12, English, - Input%2DOutput%20Requirements%20Language

Record 12,  Textual support,  French

Record number: 12, Textual support number: 1 OBS

langage de spécification entrée/sortie.  1, record 12, French, - langage%20IORL

Record 12,  Textual support,  Spanish