Композиционный подход к проектированию реактивных алгоритмов

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2013, том 49
→
Кибернетика и системный анализ, 2013, № 5
→
Переглянути статтю

dc.contributor.author	Чеботарев, А.Н.
dc.date.accessioned	2015-09-11T19:53:47Z
dc.date.available	2015-09-11T19:53:47Z
dc.date.issued	2013
dc.identifier.citation	Композиционный подход к проектированию реактивных алгоритмов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — Т. 49, № 5. — С. 14-27. — Бібліогр.: 15 назв. — рос.	uk_UA
dc.identifier.issn	0023-1274
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/86267
dc.description.abstract	Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв’язків між ними. Автомат, що синтезується, одержується шляхом з’єднання графів переходів модулів, синтезованих за їх специфікаціями.	uk_UA
dc.description.abstract	A method for the development of complex finite state machines (FSMs) from their compositional specifications in the logical language L is proposed. A compositional specification consists of specifications of automata modules and interconnections between them. The FSM being synthesized is obtained by connecting the state transition graphs of modules synthesized from their specifications.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут кібернетики ім. В.М. Глушкова НАН України	uk_UA
dc.relation.ispartof	Кибернетика и системный анализ
dc.subject	Кибернетика	uk_UA
dc.title	Композиционный подход к проектированию реактивных алгоритмов	uk_UA
dc.title.alternative	Композиційний підхід до проектування реактивних алгоритмів	uk_UA
dc.title.alternative	Compositional approach to the development of reactive algorithms	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	519.713.1