Translation of specification language into Russian
Noun
technology
- The team used a specification language to model the payment system.Команда использовала язык спецификаций для моделирования платёжной системы.
Synonyms and analogies of specification language in English
Examples of specification language in a sentence
They designed a new specification language tailored to distributed systems.
Translations of "specification language" in Context ordered by category and frequency
Precisely what is meant by a more detailed specification will depend on the chosen specification language.
Что именно подразумевается под более подробными спецификациями, зависит от выбранного языка спецификаций.
The definition given here is generic: how to instantiate an
Данное здесь определение яатяется родовым: как реатизовать шаблон<Х>зависит от используемого языка спецификаций.
The form of the predicate that expresses the template type depends on the specification language used.
2 Форма предиката, который выражает тип шаблона, зависит от используемого языка спецификаций.
specification language: Examples and translations in context
One example of a specification language is Isabelle, which is a generic proof assistant that allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
Примером языка спецификаций является Isabelle - система автоматического доказательства теорем общего назначения, позволяющая передавать математические формулы формальным языком и обеспечивающая инструменты для доказательства этих формул посредством логического исчисления.
Projects on geometric reasoning and programmes were also an activity of UNU/IIST aimed at defining a specification language for the constructive geometric computing which characterizes the geometric problem domain.
УООН/МИПО занимался также проектами, связанными с геометрическими рассуждениями и геометрическими программами, с целью совершенствования языка спецификаций для конструктивных геометрических вычислений, характеризующих сферу геометрических задач.
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.
1 Протяженность интервала во времени или в пространстве выбирается для отражения требований конкретной задачи спецификации и свойств конкретного языка спецификаций.
See also: