Активные слова

Слово

Перевод

Предложение

an automata software design

проект

программного

обеспечения

автоматов

So the process of software creation could be named "automata software design".

automata-based

programming

автоматически

основанное

программирование

This paper describes main properties of automata-based programming.

binary variables

двоичные

переменные

Offered technology was described in this book, being applied to the systems of logical control, in which there

an operating system

операционная

система

systems of a logical control

системы

логического

контроля

are no events, input and output actions are binary variables and operating svstem is working in the scanning mode.

cooperation

diagrams

диаграммы

сотрудничества

Note that for the large tasks it is impossible to use sequence diagrams, cooperation diagrams, which are parts of UML language [101.

designing

проектирование

It contains such phases of software developing as designing, implementing, debugging and documenting.

documenting

документирование

a language of

functional

blocks

язык

функциональных

блоков

Systems of this class as usual are to be implemented on programmable logical

a programmable

logical

controller

программируемый

логический

диспетчер

controllers, which have relatively little memory and programming is to be per­formed using specialized lan­guages (for example, the lan- guage of functional blocks) 15].

Слово

Перевод

Предложение

й program observability

наблюдательность

программы

This allows to introduce in programming the term "program observability".

programming

liinguages

языки

программирования

So when using programming languages of the high level, the most suitable way is to use construction which is similar to construction "switch" of the programming language C.

i endive •yulcms

реактивные

системы

On of the features of programming for the reactive svstems is that liquidation of logic in the event handlers and forming of system of interacting automata, which are called from these handlers, causes logic centralization [8].

и quality of •<i *11 ware

качество

программного

обеспечения

These systems have special requirements for the aualitv of software.

synchronous pit )(ji mnming

синхронное

программирование

One of the most well known approaches for this field of tasks is synchronous programming [ 1|.

II ll't luiology of pMigi'uniming

технология

программирования

In recent years great attention has been paid to the development of the technology of programming for the embedded systems and real­time systems.

I 1 у pi* of i itnipiiling

тип

вычислительных

устройств

Nowadays this technology is been developed in several variants, for different types of task to be solved and for various tvue of computing devices.