Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 29, выпуск 5, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией члена-корреспондента РАН А.И. Аветисяна

Скачать полный выпуск
PDF


Содержание

Барабанов А.В., Лавров А.И., Марков А.С., Полотнянщиков И.А., Цирлов В.Л. Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений Стр. 7-18.

Семенкович С.А., Колеконова О.И., Дегтярев К.Ю. Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Стр. 19-38.

Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Стр. 39-60.

Матросова А.Ю., Останин С.А., Николаева Е.А. Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Стр. 61-74.

Никифоров В.В., Баранов С.Н. Техника плоских схем для тестирования встроенных операционных систем Стр. 75-92.

Лаврищева Е.М., Мутилин В.С., Рыжов А.Г. Проектирование моделей вариабельности для программных, операционных систем и их семейств Стр. 93-110.

Герасимов А.Ю., Круглов Л.В., Ермаков М.К., Вартанов С.П. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Стр. 111-134.

Козачок А.В. Логика первого порядка для задания требований к безопасному программному коду Стр. 135-148.

Подкопаев А.В., Лахав О., Вафеядис В. Обещающая компиляция в ARMv8.3 Стр. 149-164.

Легалов А.И., Васильев В.С., Матковский И.В., Ушакова М.С. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Стр. 165-184.

Казаков К.А., Семенов В.А. Объектно-ориентированная среда для разработки приложений планирования движения Стр. 185-238.

Аничкин А.С., Морозов С.В., Семенов В.А., Тарлапан О.А. Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Стр. 239-256.

Зеленов С.В., Зеленова С.А. Моделирование программно-аппаратных систем и анализ их безопасности Стр. 257-282.

Бурдонов И., Косачев А., Сортов А. Распределённые алгоритмы на корневых неориентированных графах Стр. 283-310.

Семакин А.Н. Программное обеспечение для создания адаптивных сеток Стр. 311-328.

Цынаева А.А., Разоренов С.Е., Белая В.В. Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Стр. 329-344.

Вернуться к списку всех томов