English | Russian |
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 elements | ISO / 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) |