-
1 specification language
язык спецификаций
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > specification language
-
2 specification language
-
3 specification language
язык спецификаций, язык описания технических требованийформализм, используемый при конструировании аппаратных средств и при разработке ПОсм. тж. specificationАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > specification language
-
4 specification language
Большой англо-русский и русско-английский словарь > specification language
-
5 specification language
1) Техника: язык описания технических требований, язык описания требований, язык спецификаций (технических)2) Автоматика: язык описанийУниверсальный англо-русский словарь > specification language
-
6 specification language
English-Russian electronics dictionary > specification language
-
7 specification language
The New English-Russian Dictionary of Radio-electronics > specification language
-
8 specification language
язык спецификаций, язык описанийEnglish-Russian dictionary of mechanical engineering and automation > specification language
-
9 specification language
English-Russian dictionary of computer science and programming > specification language
-
10 specification language
English-Russian information technology > specification language
-
11 specification language
English-Russian dictionary of computer science > specification language
-
12 Document-Style Semantics and Specification Language
язык семантики и спецификации стиля документов
Язык управления способом форматирования SGML-документов для отображения их браузерами, программами печати и средствами различных других приложений. Основу DSSSL составляет механизм таблиц стилей. Действующая версия языка DSSSL определяется принятым в 1996 г. официальным стандартом ISO/IEC 10179:1996.
[ http://www.morepc.ru/dict/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > Document-Style Semantics and Specification Language
-
13 data specification language
3.2.16 язык определения данных (data specification language): Набор правил для определения данных и их взаимосвязей, пригодный для компьютерной передачи, интерпретации или обработки;
Источник: ГОСТ Р ИСО 10303-1-99: Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы оригинал документа
Англо-русский словарь нормативно-технической терминологии > data specification language
-
14 readable specification language
English-Russian base dictionary > readable specification language
-
15 problem specification language
English-Russian dictionary of telecommunications and their abbreviations > problem specification language
-
16 formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
Общая лексика: формальный метод: метод проектирования программ, в котором используется язык формальных спеУниверсальный англо-русский словарь > formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
-
17 formal specification language
Большой англо-русский и русско-английский словарь > formal specification language
-
18 readable specification language
Большой англо-русский и русско-английский словарь > readable specification language
-
19 formal specification language
Англо-русский словарь технических терминов > formal specification language
-
20 document style semantics and specification language
Вычислительная техника: язык [для определения] семантики и спецификации стиля документов (http://ivb.unact.ru/glossary/dsssl.html)Универсальный англо-русский словарь > document style semantics and specification language
См. также в других словарях:
Specification language — A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis,… … Wikipedia
Meta-IV (specification language) — The Meta IV (pronounced like metaphor ) was an early version of the specification language of the Vienna Development Method formal method for the development of computer based systems. Contents 1 History 2 The Schools of VDM 2.1 The Danish School … Wikipedia
Distributed Application Specification Language — The DASL Programming Language (Distributed Application Specification Language) is a high level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the Ace Project. The goals… … Wikipedia
DASL - Distributed Application Specification Language — The DASL Programming Language (Distributed Application Specification Language) is a high level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the… … Wikipedia
Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… … Wikipedia
Property Specification Language — (PSL) is a language developed by Accellera for specifying properties or assertions about hardware designs. The properties can then be simulated or formally verified. Since September 2004 the standardization on the language has been done in IEEE… … Wikipedia
Document Style Semantics and Specification Language — (DSSSL) is a computer language for specifying stylesheets for SGML documents, based on a subset of the Scheme programming language. It is specified by the standard ISO/IEC 10179:1996. It was developed by ISO/IEC JTC1/SC34 (ISO/IEC Joint Technical … Wikipedia
Property Specification Language — Die Property Specification Language (PSL), auf Deutsch etwa Beschreibungssprache für Eigenschaften , wurde von Accellera entwickelt, um Eigenschaften oder Assertions beim Entwurf von Hardware Designs zu spezifizieren. Diese Eigenschaften können… … Deutsch Wikipedia
Property Specification Language — Pour les articles homonymes, voir PSL. Le Property Specification Language (PSL) (en français : Langage de spécification par propriétés) est basé sur le langage Sugar d’IBM. Il a été approuvé par l’organisme Accellera en mai 2003, et par… … Wikipédia en Français
Alloy (specification language) — In computer science and software engineering, the Alloy specification language is a declarative language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on… … Wikipedia
Process Specification Language — (PSL) is an ontology developed at the National Institute of Standards and Technology (NIST) for description of basic manufacturing, engineering and business processes.In the manufacturing domain, PSL’s objective is to serveas an interlingua for… … Wikipedia
