TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

SPECIFICATION LANGUAGE [2 records]

Record 1 2013-03-06

English

Subject field(s)
  • Programming Languages
  • Computer Programs and Programming
DEF

A problem-oriented language, often a computer-processible combination of natural language and artificial language, designed for expressing the requirements, design, behavior, or other characteristics of a system or a component and that provides special constructs and, sometimes, verification protocols used to develop, analyze, and document the specified entities.

CONT

Specification languages provide the means for describing problem domain, the required behavior of a software system, and also the overall design of a software system. The tradeoff in specification languages is between their expressive power and the degree to which they can be supported with tools such as compilers, interpreters, and theorem provers.

OBS

specification language : term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE) and ISO/IEC.

French

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

Langage adapté au problème, souvent sous la forme d'une combinaison, pouvant être traitée par ordinateur, de langage naturel et de langage artificiel, permettant d'exprimer les besoins, la conception, le comportement ou d'autres caractéristiques d'un système ou d'un composant, et qui fournit des outils particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter les entités spécifiées.

CONT

Les langages de spécification sont basés sur ce que l'on appelle les types abstraits algébriques.

OBS

langage de spécification : terme et définition normalisés par l'ISO/CEI.

Spanish

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

Lenguaje que, por lo general, suele ser matemático, usado para expresar una especificación.

Save record 1

Record 2 - external organization data 2006-01-30

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
07.01.34 (2382)
ISO/IEC standard entry number
DEF

problem-oriented language, often a computer-processible combination of natural language and artificial language, used for expressing the requirements, design, behavior, or other characteristics of a system or a component and that provides special language constructs and, sometimes, verification protocols used to develop, analyze, and document the specified entities

OBS

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

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
07.01.34 (2382)
ISO/IEC standard entry number
DEF

langage d'application, résultant souvent d'une combinaison, pouvant être traitée par ordinateur, de langage naturel et de langage artificiel; ce langage permet d'exprimer les besoins, la conception, le comportement ou d'autres caractéristiques d'un système ou d'un composant, et fournit des éléments de langage particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter les entités spécifiées

OBS

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

Spanish

Save record 2

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: