1. Університет митної справи та фінансів
  2. Роботи вчених Університету
  3. Факультет інноваційних технологій
  4. Кафедра комп`ютерних наук та інженерії програмного забезпечення
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://biblio.umsf.dp.ua/jspui/handle/123456789/2463
Назва: Деякі аспекти формалізації та специфікації інформаційних зв'язків в алгоритмах
Автори: Акуловський, В. Г.
Костенко, В. В.
Ключові слова: алгоритм
оператор
множина станів автомата
регулярна схема
композиція
декомпозиція
Дата публікації: 6-чер-2017
Видавництво: Академія митної служби України
Бібліографічний опис: 1. Турский В. Методология программирования [Текст] / В. Турский.  М. : Мир, 1981.  264 с. 2. Ющенко Е. Л. Многоуровневое структурное проектирование программ: теоретические основы, инструментарий [Текст] / Е. Л. Ющенко, Г. Е. Цейтлин, В. П. Грицай, Т. К. Терзян.  М. : Финансы и статистика, 1989.  208 с. 3. Глушков В. М. Теория автоматов и формальные преобразования микропрограмм [Текст] / В. М. Глушков // Кибернетика. – 1965.  № 5.  С. 110. 4. Глушков В. М. Алгебра. Языки. Программирование [Текст] / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко.  К. : Наукова думка, 1978.  319 с. 5. Акуловский В. Г. Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов [Текст] / В. Г. Акуловский // Кибернетика и системный анализ.  2008.  № 6.  С. 170182. 6. Акуловський В. Г. Деякі аспекти формалізації архітектурного етапу розробки алгоритмів [Текст] / В. Г. Акуловський // Проблеми програмування.  2009.  № 2.  С. 311.
Серія/номер: Вісник Академії митної служби України. Сер. : Технічні науки;2009. - № 2.
Короткий огляд (реферат): У рамках алгебри алгоритмів формалізовано дані й інформаційні зв’язки між Д-операторами, що утворюють регулярні схеми. Специфіковано інформаційні зв’язки між підсистемами, що утворюють деякі шари алгоритмів. Визначено та знайдено основні властивості даних і утворених ними інформаційних зв’язків.
URI (Уніфікований ідентифікатор ресурсу): http://hdl.handle.net/123456789/2463
Розташовується у зібраннях:Кафедра комп`ютерних наук та інженерії програмного забезпечення

Файли цього матеріалу:
Файл Опис РозмірФормат 
vamsutn_2009_2_14.pdfЕлектронне видання608,23 kBAdobe PDFПереглянути/Відкрити
Показати повний опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.