ЗМІСТ

Вітаємо
З 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 окружении

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

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

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

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

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