Проблеми програмування, 2017, № 3

Випуск присвячено 25-річчю від дня заснування Інституту програмних систем НАН України

ЗМІСТ

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

ІНФОРМАТИЗАЦІЯ НАУКОВИХ ДОСЛІДЖЕНЬ

Загородній А.Г., Андон П.І., Процикевич І.А.
Впровадження сучасних інформаційних технологій в наукових дослідженнях НАН України

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

Дорошенко А.Ю., Бекетов О.Г., Жереб К.А., Іваненко П.А., Овдій О.М., Шевченко Р.С., Яценко О.А.
Формальні та адаптивні методи й інструментальні засоби паралельного програмування

Андон П.І., Слабоспицька О.О.
Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем

ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ

Рогушина Ю.В.
Використання онтологій для персоніфікації семантичного пошуку

Андон Ф.И., Кудим К.А., Матюхина К.Г., Новицкий А.В., Проскудина Г.Ю., Резниченко В.А.
Функциональные возможности и статистика использования Научной электронной библиотеки периодических изданий НАН Украины

Балабанов О.С.
Відкриття знань у даних та каузальні моделі в аналітичних інформаційних технологіях

Ильина Е.П., Синицын И.П.
Модели и методы поддержки аналитического сопровождения поля решений организации

ЗАХИСТ ІНФОРМАЦІЇ

Сініцин І.П., Ігнатенко П.П., Слабоспицька О.О., Артеменко О.B.
Комплексний підхід до побудови системи кіберзахисту критичної інформаційної інфраструктури держави

Ігнатенко О.П.
Теоретико-ігровий підхід до проблеми безпеки мереж

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

Григорян Р.Д.
Проблемно-ориентированные компьютерные симуляторы в решении теоретических и прикладных задач физиологии человека

Кузьмина К.И., Сёмик Т.М.
Здоровьесберегающие технологии и компьютерные системы в современном человековедении для рациональной организации жизненного цикла человека

Пашко С.В.
Побудова стратегій переслідування з використанням функцій Ляпунова