ЗМІСТ

Вітаємо
З 70-річчям АКАДЕМІКА НАН УКРАЇНИ П.І. АНДОНА

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

Колчин А.В.
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем

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

Letichevsky A.A., Kapitonova J.V., Kotlyarov V.P., Letichevsky A.A. Jr., Nikitchenko N.S., Volkov V.A., Weigert T.
Insertion modeling in distributed system design

Потиенко С.В.
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами

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

Дерецкий В.А.
Подходы и задачи композиции сервисов в семантическом Web окружении

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

ІНФОРМАЦІЙНІ СИСТЕМИ

Теленик С.Ф., Бідюк П.І., Коршевнюк Л.О., Хмелюк В.С.
Метод формування нечіткого логічного висновку із залученням експертного комітету

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

Акуловский В.Г.
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных

Дорошенко А.Е., Яценко Е.А.
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов

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

Максимей И.В., Сукач Е.И., Ерофеева Е.А., Гируц П.В.
Автоматизация этапов разработки и эксплуатации имитационных моделей транспортных систем