Деякі аспекти формалізації та специфікації інформаційних зв'язків в алгоритмах

Акуловський, В. Г.; Костенко, В. В.

dc.contributor.author	Акуловський, В. Г.
dc.contributor.author	Костенко, В. В.
dc.date.accessioned	2017-06-06T08:44:17Z
dc.date.available	2017-06-06T08:44:17Z
dc.date.issued	2017-06-06
dc.identifier.citation	1. Турский В. Методология программирования [Текст] / В. Турский.  М. : Мир, 1981.  264 с. 2. Ющенко Е. Л. Многоуровневое структурное проектирование программ: теоретические основы, инструментарий [Текст] / Е. Л. Ющенко, Г. Е. Цейтлин, В. П. Грицай, Т. К. Терзян.  М. : Финансы и статистика, 1989.  208 с. 3. Глушков В. М. Теория автоматов и формальные преобразования микропрограмм [Текст] / В. М. Глушков // Кибернетика. – 1965.  № 5.  С. 110. 4. Глушков В. М. Алгебра. Языки. Программирование [Текст] / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко.  К. : Наукова думка, 1978.  319 с. 5. Акуловский В. Г. Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов [Текст] / В. Г. Акуловский // Кибернетика и системный анализ.  2008.  № 6.  С. 170182. 6. Акуловський В. Г. Деякі аспекти формалізації архітектурного етапу розробки алгоритмів [Текст] / В. Г. Акуловський // Проблеми програмування.  2009.  № 2.  С. 311.	uk_UA
dc.identifier.uri	http://hdl.handle.net/123456789/2463
dc.description.abstract	У рамках алгебри алгоритмів формалізовано дані й інформаційні зв’язки між Д-операторами, що утворюють регулярні схеми. Специфіковано інформаційні зв’язки між підсистемами, що утворюють деякі шари алгоритмів. Визначено та знайдено основні властивості даних і утворених ними інформаційних зв’язків.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Академія митної служби України	uk_UA
dc.relation.ispartofseries	Вісник Академії митної служби України. Сер. : Технічні науки;2009. - № 2.
dc.subject	алгоритм	uk_UA
dc.subject	оператор	uk_UA
dc.subject	множина станів автомата	uk_UA
dc.subject	регулярна схема	uk_UA
dc.subject	композиція	uk_UA
dc.subject	декомпозиція	uk_UA
dc.title	Деякі аспекти формалізації та специфікації інформаційних зв'язків в алгоритмах	uk_UA
dc.type	Article	uk_UA