ЗМІСТ

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

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

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

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

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

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

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

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

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

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

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

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

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