ЗМІСТ

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

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

Ильман В.М., Шинкаренко В.И.
Конструктивное представление множественных объектов и их свойства

Терлецький Д.О.
Конструктори множин та мультимножин об’єктів

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

Пріла О.А.
Фреймворк для розробки високорівневих Grid-застосувань

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

Дорошенко А.Ю., Гнинюк М.В.
Паралельна розподілена реалізація моделювання паралельних обчислень

Лихацкий И.А.
О технике реляционно-объектного преобразования

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

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

ПРОГРАМНІ СИСТЕМИ ЗАХИСТУ ІНФОРМАЦІЇ

Колтик М.А.
Системно-онтологический анализ предметной области проведения испытаний КСЗИ

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

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

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

Григорян Р.Д., Аксенова Т.В., Дериев И.И.
Программный симулятор реакций аэробной клетки на дисбаланс энергии

Панченко Б.Е., Сайко И.Н.
Схема параллельных вычислений максимальных контурных SH-напряжений на системе некруговых упругих включений в бесконечной упругой среде

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