ЗМІСТ

Титульні сторінки та зміст

ТЕОРЕТИЧНІ ТА МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ

Нікітченко М.С., Шкільняк О.С., Шкільняк C.С.
Алгебри загальних недетермінованих предикатів

Нікітченко М.С., Шишацька О.В.
Семантичні властивості п’ятизначних логік

МОДЕЛІ ТА ЗАСОБИ ПАРАЛЕЛЬНИХ І РОЗПОДІЛЕНИХ ПРОГРАМ

Ашур І.З., Дорошенко А.Ю.
Високопродуктивний пакетний добуток матриць афінних перетворень за допомогою Android NDK та JNI

ІНСТРУМЕНТАЛЬНІ ЗАСОБИ І СЕРЕДОВИЩА ПРОГРАМУВАННЯ

Дорошенко А.Ю., Новак О.С., Іваненко П.А., Старушик А.М.
Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics

МЕТОДИ ТА ЗАСОБИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ

Sydorov N.A., Sydorova N.N., Mendzebrovsky I.B.
Software engineering ontologies categorization

ФОРМАЛЬНІ МЕТОДИ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Слабоспицька О.О.
Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі

МОДЕЛІ ТА ЗАСОБИ СИСТЕМ БАЗ ДАНИХ І ЗНАНЬ

Захарова О.
Методика застосування апарата дескриптивних логік у процесі побудови композитного сервісу на функціональному рівні

ЕКСПЕРТНІ ТА ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ СИСТЕМИ

Ильина Е.П.
Экспертно-аналитический процесс выбора управляющих организационных воздействий с использованием корпоративного знания. Часть 2. Методы и модели экспертной методологии

ПРИКЛАДНІ ЗАСОБИ ПРОГРАМУВАННЯ ТА ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

Соколенко О.С., Дорошенко А.Ю.
Обробка GPS координат з використанням калманівської фільтрації

МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ОБ’ЄКТІВ ТА ПРОЦЕСІВ

Яловець А.Л.
До постановки задачі розпізнавання невідомого оточуючого середовища, навігації та планування шляхів агентом в ньому

МЕТОДИ, МОДЕЛІ ТА СТАНДАРТИ СТВОРЕННЯ СТРУКТУРОВАНИХ ЕЛЕКТРОННИХ ДОКУМЕНТІВ

Шарипанов А.В., Щетинін І.Є., Іванов С.М.
Аналіз формальних моделей та стандартів опису структурованого електронного документа в корпоративній інформаційній системі

НАУКОВА ІНФОРМАЦІЯ

Інформаційне повідомлення

*******
До уваги авторів