ЗМІСТ

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

З 75-річчям Пилипа Іларіоновича Андона

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

Глибовець М.М., Гулаєва Н.М.
Еволюційне програмування

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

Лавріщева К.М., Слабоспицька О.О.
Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів

Лавріщева К.М., Стеняшин А.Ю.
Формалізми об’єктного проектування і тестування розподілених програмних систем

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

Омельченко Р.С.
Программа проверки орфографии (spellchecker) на основе распределенных представлений

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

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

ВЕРИФІКАЦІЯ ПРОГРАМ

Максимец А.Н.
Верификация программ: состояние, проблемы, экспериментальные результаты. I

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

Іваненко П.А., Дорошенко А.Ю., Овдій О.М., Суслова Л.М.
Автотьюнер та візуалізація для задачі метеорологічного прогнозування

Пашко С.В., Яловец А.Л.
Численные методы решения задач оптимизации преследования

Степанюк М.Ю.
Метод розрахунку параметрів фазових переходів дискретних технологічних та інформаційних процесів стратегічного планування з розпаралелюванням обчислень

Яловець А.Л.
Про метод найближчої точки як метод управління стратегіями переслідування/утікання агентів

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

Дев’ята міжнародна науково-практична конференція з програмування УкрПРОГ’2014 (Україна, Київ, 20-22 травня 2014 р.)