Subject | English | Russian |
progr. | action specification language | язык спецификации действий (сокр. ASL; язык действий более абстрактный, чем такие языки, как Java и C++, и может использоваться для создания полных в вычислительном отношении моделей UML ssn) |
progr. | command language with an explicit lexical specification | командный язык с точной лексической спецификацией (ssn) |
progr. | command languages with an explicit lexical specification | командные языки с точной лексической спецификацией (ssn) |
progr. | common formal specification language | распространённый язык формальных спецификаций (ssn) |
progr. | common language specification | общеязыковая спецификация (ssn) |
progr. | common language specification | общая спецификация для языков программирования (ssn) |
comp., MS | Common Language Specification | спецификация CLS (A subset of language features supported by the common language runtime, including features common to several object-oriented programming languages. CLS-compliant components and tools are guaranteed to interoperate with other CLS-compliant components and tools) |
progr. | common language specification compliance | совместимость с CLS (ssn) |
progr. | common language specification compliance | совместимость с общеязыковой спецификацией (ssn) |
progr. | data specification language | язык определения данных (набор правил для определения данных и их взаимосвязей, пригодный для компьютерной передачи, интерпретации или обработки. См. ГОСТ Р ИСО 10303-1-99 ssn) |
commun. | device description language specification | спецификация языка описания устройств (Метран) |
energ.ind. | Device Language Message Specification | протокол DLMS для коммуникации с приборами учёта электроэнергии (MichaelBurov) |
energ.ind. | Device Language Message Specification | протокол DLMS (MichaelBurov) |
energ.ind. | Device Language Message Specification | специальный язык общения с приборами учёта энергии (aes-energoline.com Oksie) |
energ.ind. | Device Language Message Specification | язык DLMS (MichaelBurov) |
el. | document style semantics and specification language | язык спецификации и семантики стиля документа |
el. | document style semantics and specification language | язык DSSSL |
IT | document style semantics and specification language | язык для определения семантики и спецификации стиля документов (unact.ru Bricker) |
el. | document style semantics and specification language | стандарт ISO на оформление переносимых документов |
Gruzovik, progr. | document style semantics and specification language | язык семантики стиля и спецификаций документов (abbr. DSSSL) |
progr. | ensuring common language specification compliance | обеспечение совместимости с CLS (ssn) |
progr. | ensuring common language specification compliance | обеспечение совместимости с общеязыковой спецификацией (ssn) |
tech. | formal specification language | язык формальных спецификаций |
progr. | formal specification languages | языки формальных спецификаций (ssn) |
progr. | formal specification of programming languages | формальное описание языков программирования (ssn) |
progr. | formal specification of the languages elements | формальная спецификация элементов языка (ssn) |
progr. | GRAFCET specification language | язык спецификаций GRAFCET (ssn) |
progr. | GRAFCET specification language for sequential function charts | язык спецификаций GRAFCET для последовательных функциональных схем (ssn) |
microel. | hierarchical specification language | язык иерархической спецификации БИС |
progr. | IEC61131-3 programming language specification | спецификация IEC61131-3 по языкам программирования (ssn) |
IT | java language specification | спецификация языка Java (unact.ru Bricker) |
AI. | knowledge specification language | язык спецификации знаний (Alex_Odeychuk) |
IT | language of temporal ordering specification | язык спецификации временного упорядочивания (cтандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: языка описания абстрактных типов данных ACT ONE и языка описания поведения в виде алгебры процессов Alex_Odeychuk) |
progr. | language specification | спецификация для языков программирования (ssn) |
progr. | language specification | языковая спецификация (ssn) |
microel. | language specification | спецификация языка |
progr. | language with an explicit lexical specification | язык с точной лексической спецификацией (ssn) |
comp., MS | mapping specification language | язык MSL (An XML-based language that is used to map items defined in a conceptual model to items in a storage model) |
progr. | particular specification language | конкретный язык спецификаций (ssn) |
progr. | potential benefits and drawbacks of using formal specification languages | потенциальные достоинства и недостатки использования языков формальных спецификаций (ssn) |
telecom. | problem specification language | язык описания неисправностей |
progr. | process specification language | язык спецификации процесса (ssn) |
automat. | process specification language | язык технологических спецификаций (ssn) |
progr. | process specification language | язык спецификаций процесса (ssn) |
progr. | program language specification | спецификация языка программирования (ssn) |
progr. | properties of a particular specification language | свойства конкретного языка спецификаций (ssn) |
microel. | property-specification language | язык описания свойств (язык формальной проверки, который разрабатывался специально для максимально эффективного описания утверждений и свойств. PSL отличается широкими возможностями для создания сложных регулярных и временных выражений, и позволяет описывать сложные поведенческие аспекты с помощью нескольких строк кода. Этот язык представляет собой промышленный стандарт, контролируемый компанией Accellera, основан на языке Sugar компании IBM ssn) |
IT | readable specification language | язык машиночитаемых спецификаций (в автоматизации проектирования) |
telecom. | SDL specification language | язык SDL-спецификации |
progr. | specification and assertion language | язык SPECIAL (ssn) |
progr. | specification and assertion language | язык спецификаций и утверждений (ssn) |
progr. | Specification and Description Language | язык спецификаций и описаний, использующий графическое исполнение описания поведения системы (примерение SDL определено рекомендацией ITU-T; см. ГОСТ Р 54456-2011 ssn) |
telecom. | specification and description language | язык спецификаций и описаний (oleg.vigodsky) |
progr. | specification and description language | язык описаний и спецификаций (ssn) |
tech. | specification description language | язык описания технических требований |
tech. | specification description language | язык спецификаций (технических) |
tech. | specification description language | язык описания требований |
tech. | specification language | язык спецификаций (технических) |
tech. | specification language | язык описания технических требований |
progr. | specification language | язык спецификации (ssn) |
progr. | specification language | спецификационный язык (Alex_Odeychuk) |
tech. | specification language | язык описания требований |
automat. | specification language | язык описаний |
comp. | specification language | язык спецификаций |
progr. | specification of the languages elements | спецификация элементов языка (ssn) |
progr. | starting point for a formal specification language | отправная точка для языка формальных спецификаций (ssn) |
progr. | the extent of the interval in time or space is chosen to reflect the requirements of a particular specification task and the properties of a particular specification language | Протяжённость интервала во времени или в пространстве выбирается для отражения требований конкретной задачи спецификации и свойств конкретного языка спецификаций (см. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000) |
progr. | understanding the common language specification | понятие общеязыковой спецификации (ssn) |
progr. | updates to the language specification | поправки к спецификации языка программирования (Alex_Odeychuk) |
progr. | using formal specification languages | использование языков формальных спецификаций (ssn) |