Программирование (РАН) №5 2017 (458,50 руб.)

Стр.1

Стр.2

СОДЕРЖАНИЕ Номер 5, 2017 АНАЛИЗ И ТРАНСФОРМАЦИЯ ПРОГРАММ Применение статического символьного выполнения для поиска ошибок доступа к буферу И.А. Дудина, А.А. Белеванцев КОМПЬЮТЕРНАЯ АЛГЕБРА Исследование ограниченной задачи трех тел с переменными массами методами компьютерной алгебры А.Н. Прокопеня, М.Дж. Минглибаев, Г.М. Маемарова, Ж.У. Иманова АНАЛИЗ ДАННЫХ Неполностью описанные объекты в системах поддержки принятия решений В.Н. Юдин, Л.Е. Карпов ИНФОРМАЦИОННЫЙ ПОИСК Построение градиентного алгоритма локального перебора точек на основе метода функционально-воксельного моделирования С.Н. Григорьев, А.В. Толок, Н.Б. Толок ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ Легковесный метод интроспекции виртуальных машин Н.И. Фурсова, П.М. Довгалюк, И.А. Васильев, В.А. Макаров ЯЗЫКИ, КОМПИЛЯТОРЫ И СИСТЕМЫ ПРОГРАММИРОВАНИЯ Поддержка параллельного и конкурентного программирования в языке С++ Н.И. Вьюкова, В.А. Галатенко, С.В. Самборский ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ И ВАЛИДАЦИЯ ПРОГРАММ Достижение целей структурного покрытия, определенных в DO-178C В.П. Козырев, М.А. Сабуров 48 _________________________________________________________________________________________________________________________ 32 _________________________________________________________________________________________________________________________ 24 _________________________________________________________________________________________________________________________ 18 _________________________________________________________________________________________________________________________ 3 _________________________________________________________________________________________________________________________ 39 _________________________________________________________________________________________________________________________ 60

Стр.1

CONTENTS No. 5, 2017 Program analysis and transformation Using Static Symbolic Execution to Detect Buffer Overflows I. A. Dudina and A. A. Belevantsev Investigation of the Restricted Problem of Three Bodies of Variable Masses Using Computer Algebra A. N. Prokopenya, M. Zh. Minglibayev, G. M. Mayemerova, and Zh. U. Imanova Incompletely Described Objects in Decision Support V. N. Yudin and L. E. Karpov Local Search Gradient Algorithm Based on Functional Voxel Modeling S. N. Grigor’ev, A. V. Tolok, and N. B. Tolok A Lightweight Method for Virtual Machine Introspection N. I. Fursova, P. M. Dovgalyuk, I. A. Vasil’ev, and V. A. Makarov Support for parallel and competitive programming in the C++language N. I. Viukova, V. A. Galatenko, and S. V. Samborsky The achievement of the objectives of structural coverage, as defined in DO-178C V. P. Kozyrev and M. A. Saburov 18 24 32 39 48 60 3 _____________________________________________________________________ Подписано к печати 02.10.2017 Печать цифровая Усл.печ.л. 8,75 Усл.кр.-отт. 1,1 тыс. Тираж 119 экз. Дата выхода в свет 25.10.2017 Зак. 1552 Уч.-изд.л. 8,75 Цена свободная _________________________________________________________________________________________________ Учредитель: Российская академия наук _________________________________________________________________________________________________________________________ Издатель: ФГУП «Издательство «Наука», 117997 Москва, Профсоюзная ул., 90 Отпечатано во ФГУП «Издательство «Наука» (Типография «Наука») 121099 Москва, Шубинский пер., 6 Формат 60 x 88 ⅛ Бум.л. 4,4

Стр.2