ЗМІСТ

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

Георгій Овсійович Цейтлін (1940-2013)

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

Акуловский В.Г., Дорошенко А.Е.
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов

Лавріщева К.М., Колесник А.Л.
Концептуальні моделі розподілених компонентних систем

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

Дорошенко А.Ю., Оконський І.В., Жереб К.А., Бекетов О.Г.
Використання засобів моделювання для визначення оптимальних параметрів виконання програм на відеографічних прискорювачах

Погорілий С.Д., Вітель Д.Ю.
Використання мереж Петрі для проектування паралельних застосувань

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

Глибовець М.М., Гороховський С.С., Луценко І.М.
Аналіз каркасів зберігання й відображення на базі аспектно-орієнтованих технологій

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

Letichevsky А., Letychevskyi О., Peschanenko V., Guba A.
Deductive verification of requirements for event-driven architecture

Яценко Е.А.
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ

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

Рогушина Ю.В.
Использование онтологических знаний в рекомендующих системах

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

Новицький О.В.
Сервіс-орієнтовані, розподілені системи реального часу в електронних бібліотеках (ЕБ)

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

Яловець А.Л.
До постановки задачі переслідування на площині