DictionaryForumContacts

Terms for subject Programming containing specification of | all forms | exact matches only | in specified order only
EnglishRussian
A method of notating internal task structure is necessary to provide sufficient modularity. This is done with the state specificationМетод индексирования внутренней структуры задачи необходим, чтобы обеспечить достаточную модульность. это сделано в спецификации состояний (см. Auslander David M. Mechatronics: A Design and Implementation Methodology for Real Time Control Software)
an object belonging to the set of objects described by an ADT specification is called an instance of the ADTОбъект, принадлежащий множеству объектов, описываемых спецификацией АТД, называется экземпляром этого АТД (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn)
analysis of specificationанализ спецификации (напр., компонента ssn)
analysis, specification and description of sequential programsанализ, спецификация и описание последовательных программ (ssn)
as illustrated in figure 9, this clause defines the means for the type specification of three kinds of blocksэтот пункт определяет средства для спецификации типа трёх видов блоков, показанных на рисунке 9 (см. IEC 61499-1)
aspects of the elements specificationаспекты спецификации элемента (ssn)
black box test design technique: Procedure to derive and/or select test cases based on an analysis of the specification, either functional or non-functional, of a component or system without reference to its internal structureразработка тестов методом чёрного ящика: процедура создания и / или выбора тестовых сценариев, основанная на анализе функциональной или нефункциональной спецификации компонента или системы без знания внутренней структуры (см. Standard glossary of terms used in Software Testing)
body of a basic function block specificationтело спецификации базисного функционального блока (см. IEC 61499-1, Robert W. Lewis: Modelling control systems using IEC 61499. Applying function blocks to distributed systems ssn)
body of a composite function block specificationтело спецификации композиционного функционального блока (ssn)
breakdown of the engineering specificationразбиение технических характеристик (ssn)
breakdown of the engineering specification into tasks and then statesразбиение технических характеристик на задачи и затем на состояния (ssn)
business specification of processesбизнес-спецификации процессов (ssn)
business specification of processes as orchestrations of reusable servicesбизнес-спецификации процессов как механизмы управления многократно используемыми сервисами (ssn)
By so doing, the IEC61131-3 specification provides a minimum set of functionality that can be extended to meet end user application needsТаким образом спецификация IEC61131-3 обеспечивает минимальный набор функциональных возможностей, который может быть расширен для удовлетворения нужд приложения конечного пользователя (ssn)
clear specification of the required functionalityчёткая спецификация необходимой функциональности (Alex_Odeychuk)
completeness of validation with respect to the software design specificationполнота подтверждения соответствия в соответствии со спецификацией проекта программного обеспечения (ssn)
components of the IEC61131-3 specificationкомпоненты спецификации IEC61131-3 (ssn)
correctness of the implementation against a formally defined specificationкорректность реализации в соответствии с формально определённой спецификацией (корпорации AdaCore Alex_Odeychuk)
correctness of validation with respect to the software design specificationкорректность подтверждения соответствия в соответствии со спецификацией проекта программного обеспечения (ssn)
Data conversion rules were not explicitly specified in the original specification, but presumably they follow the rules of PL/IПравила преобразования данных не были точно определены в первоначальном описании, но, по всей видимости, они те же, что и соответствующие правила языка ПЛ / 1 (см. Advances in computer architecture by Glenford J. Myers 1982)
duration of time specificationспецификация длительности времени (ssn)
elaboration of a specificationпредвыполнение спецификации (ssn)
elements of an interface specificationэлементы спецификации интерфейса (ssn)
encapsulation mechanism for the specification of state machine behaviorмеханизм инкапсуляции, служащий для спецификации поведения конечного автомата (ssn)
Entry and exit actions may not be evaded by any means, including the occurrence of exceptions. They provide an encapsulation mechanism for the specification of state machine behavior, with a guarantee that necessary actions will be performed under all circumstancesДействий при входе и выходе невозможно избежать, даже при выбрасывании исключений. Эти действия представляют собой механизм инкапсуляции, служащий для спецификации поведения конечного автомата, и гарантируют выполнение неких обязательных действий при любых условиях (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn)
example of activity specificationsпример спецификации видов деятельности (ssn)
example of aggregation and composition specificationsпример спецификации агрегации и композиции (ssn)
example of generalization specificationпример спецификации обобщений (ssn)
examples of interface specificationsпримеры спецификации интерфейсов (ssn)
exchange of manufacturing message specification application protocol data unitsобмен блоками данных протокола спецификации обмена производственными сообщениями (ssn)
field of application of the manufacturing message specification service definitionобласть применения определения спецификации услуги производственных сообщений (ssn)
for the purposes of this specification, the following terms as defined in the various Parts of ISO 2382 applyдля целей настоящего стандарта применяются следующие термины, которые определены в нескольких частях ISO 2382 (см. IEC 61499-1)
formal specification of programming languagesформальное описание языков программирования (ssn)
formal specification of the languages elementsформальная спецификация элементов языка (ssn)
Function block instance list specification. This defines a list of component function block instances required within a composite function block. Each function block instance name is given, followed by its function block type nameСпецификация списка экземпляров функциональных блоков. Эта спецификация определяет список экземпляров составных функциональных блоков, требуемых внутри композиционного функционального блока. Каждому экземпляру функционального блока назначается имя, сопровождаемое именем его типа функционального блока (см. Robert W. Lewis: Modelling control systems using IEC 61499. Applying function blocks to distributed systems ssn)
general structure of abstraction by specificationобщая структура абстракции через спецификацию (ssn)
idea of executable specificationsидея выполняемых спецификаций (ssn)
improving the precision and consistency of the UML specificationповышение точности и согласованности спецификации UML (ssn)
inheritance of aspect specificationsнаследование спецификаций аспектов (Alex_Odeychuk)
inheritance of aspect specifications by a derived typeнаследование спецификаций аспектов производным типом (Alex_Odeychuk)
inspection of the specificationэкспертиза спецификации (ssn)
interface specifications of data abstractionsспецификации интерфейсов абстракций данных (ssn)
interface specifications of procedural abstractionsспецификации интерфейсов процедурных абстракций (ssn)
ISO/IEC 11179-1:1999 Information technology – Specification and standardization of data elements – Part 1: Framework for the specification and standardization of data elementsISO / IEC 11179-1:1999 Информационные технологии. Спецификация и стандартизация элементов данных. Часть 1. Структура спецификации и стандартизации элементов данных
meet a formal specification of the program's required behavior.соответствовать формальной спецификации требуемого поведения программы (корпорации AdaCore Alex_Odeychuk)
modeling and specification of software processesмоделирование и спецификация процессов разработки ПО (ssn)
modeling and specification of software processesмоделирование и спецификация процессов разработки программного обеспечения (ssn)
number of adornments that make visible aspects of the elements specificationряд дополнений, визуализирующих аспекты спецификации элемента (ssn)
potential benefits and drawbacks of using formal specification languagesпотенциальные достоинства и недостатки использования языков формальных спецификаций (ssn)
precise and quantitative specification of requirementsточная и количественно оцениваемая спецификация требований (ssn)
private part of a package specificationприватная часть спецификации пакета (Alex_Odeychuk)
properties of a particular specification languageсвойства конкретного языка спецификаций (ssn)
quantitative specification of requirementsколичественно оцениваемая спецификация требований (ssn)
requirements for the specification of function block execution controlтребования для спецификации управления выполнением функционального блока (ssn)
requirements of a particular specification taskтребования конкретной задачи спецификации (ssn)
requirements of the software design specificationтребования спецификации проектирования ПО (ssn)
requirements of the software design specificationтребования спецификации проектирования программного обеспечения (ssn)
series of specificationsряд спецификаций (ssn)
series of specifications for programmable controllersряд спецификаций для программируемых контроллеров (ssn)
set of objects described by an ADT specificationмножество объектов, описываемых спецификацией АТД (ssn)
set of objects described by an ADT specificationмножество объектов, описываемых спецификацией абстрактного типа данных (ssn)
set of specificationsнабор спецификаций (ssn)
specification of a correction to the complex vending machineспецификация исправления сложного торгового автомата (ssn)
specification of a featureспецификация метода (ООП ssn)
specification of a featureспецификация поля (ООП ssn)
specification of a functionспецификация функции (ssn)
specification of a function performed by an objectспецификация функции, выполняемой объектом (ssn)
specification of a mended machineспецификация исправленной машины (ssn)
specification of a parameterized data abstractionспецификация параметризованной абстракции данных (ssn)
specification of a significant occurrenceспецификация существенного явления (напр., в поведении технологической системы ssn)
specification of a simple software systemспецификации простой программной системы (ssn)
specification of a systemспецификация системы (ssn)
specification of abstract data typesспецификация АТД (ssn)
specification of abstract data typesспецификация абстрактных типов данных (ssn)
specification of algorithmsспецификация алгоритмов (ssn)
specification of an application contextспецификация прикладного контекста (ssn)
specification of an application-contextспецификация прикладного контекста (ssn)
specification of basic notationспецификация базовой нотации (ssn)
specification of behaviorспецификация поведения (см. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools by Jack Greenfield, Keith Short, Steve Cook, Stuart Kent, John Crupi 2004 ssn)
specification of bind-operationsспецификация операций связки (ssn)
specification of complex software systemsспецификация сложных программных комплексов (Alex_Odeychuk)
specification of conditionalспецификация условного выражения (ssn)
specification of constructsспецификация конструктивов (ssn)
specification of data abstractionспецификация абстракции данных (ssn)
specification of elementary data typesспецификация элементарных типов данных (ssn)
specification of errorsспецификация ошибок (ssn)
specification of function block execution controlспецификация управления выполнением функционального блока (ssn)
specification of function blocks conceptспецификация концепции функциональных блоков (см. IEC 61804-2 ssn)
specification of invariantsспецификация инвариантов (см. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools by Jack Greenfield, Keith Short, Steve Cook, Stuart Kent, John Crupi 2004 ssn)
specification of operationsспецификация операций (ssn)
specification of requirementsспецификация требований (ssn)
specification of safety functionsспецификация функций безопасности (ssn)
specification of state machine behaviorспецификация поведения конечного автомата (ssn)
specification of test infrastructureспецификация инфраструктуры тестирования (Alex_Odeychuk)
specification of the automatonспецификация автомата (ssn)
specification of the languages elementsспецификация элементов языка (ssn)
specification of the list data abstractionспецификация абстракции данных для списков (ssn)
specification of tokensспецификация токенов (ssn)
specification of transitionспецификация перехода (ssn)
specification of unbind-operationsспецификация операций развязки (ssn)
specifications for a set of constructsтребования к набору конструктивов (ssn)
specifications of procedural abstractionsспецификации процедурных абстракций (ssn)
specifications of the various modeling elementsспецификации различных элементов модели (ssn)
structure of the manufacturing messaging specification protocol data unitsструктура блоков данных протокола спецификации обмена производственными сообщениями (ssn)
style of specificationстиль спецификации (ssn)
subprogram specification of a binary operatorспецификация подпрограммы бинарного оператора (ssn)
subprogram specification of a unary operatorспецификация подпрограммы унарного оператора (ssn)
test specification: A document that consists of a test design specification, test case specification and/or test procedure specificationспецификация теста: документ, который состоит из спецификации проектирования теста, спецификации тестовых сценариев и / или спецификации процедуры тестирования (см. Standard glossary of terms used in Software Testing)
test specification for the integration of the programmable electronics hardware and the softwareспецификация тестирования интеграции программируемой электронной аппаратуры и программного обеспечения (см. IEC 61508-3 и ГОСТ Р МЭК 61508-3 ssn)
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)
the software validation addresses all the requirements of the software design specificationПодтверждение соответствия программного обеспечения охватывает все требования спецификации проектирования программного обеспечения (см. IEC 61508-7: 2010)
the subprogram specification of a binary operator must have two parameters. For each use of this operator, the first parameter is associated with the left operand, and the second parameter is associated with the right operandСпецификация подпрограммы бинарного оператора должна иметь два параметра. В каждом использовании этого оператора первый параметр выступает в роли левого операнда, а второй – в роли правого операнда (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual)
the subprogram specification of a binary operator must have two parameters. For each use of this operator, the first parameter is associated with the left operand, and the second parameter is associated with the right operandСпецификация подпрограммы бинарного оператора должна иметь два параметра. В каждом использовании этого оператора первый параметр выступает в роли левого операнда, а второй – в роли правого операнда (см. IEEE Std. 1076-87. IEEE Standard VHDL. Language Reference Manual)
the subprogram specification of a unary operator must have a single parameterСпецификация подпрограммы унарного оператора должна иметь единственный параметр (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual)
unambiguous specification and description of the behaviour ofстрогое описание и спецификация поведения (the ~ Alex_Odeychuk)
unambiguous specification of abstract data typesоднозначная спецификация АТД (ssn)
unambiguous specification of abstract data typesоднозначная спецификация абстрактных типов данных (ssn)
use of state machine for specificationиспользование конечного автомата для спецификации (напр., поведения системы ssn)
use self-explanatory conventions for the unambiguous specification of abstract data typesиспользование не требующих объяснения соглашений для однозначной спецификации абстрактных типов данных (ssn)
verification of consistency between specification and implementationпроверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk)

Get short URL