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


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

Под редакцией академика РАН В.П. Иванникова

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


Содержание

Ю.В. Белякова Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Стр. 5-32.

Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера Refinement типы для языка Jolie Стр. 33-44.

Г.А. Зимин, Д.А. Мордвинов Образовательный визуальный потоковый язык для программирования роботов Стр. 45-62.

M.C. Малеванный, С.С. Михалкович Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Стр. 63-78.

А.С. Югов Подход к обнаружению анти-паттернов в сервис-ориентированных системах Стр. 79-96.

А.А.Гудошникова, Ю.В. Литвинов Технология создания семейства приложений на основе анализа предметной области Стр. 97-110.

Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин Применимость AutoProof: учебный пример верификации ПО Стр. 111-126.

М.И. Полубелова, С.Н. Божко, С.В. Григорьев Верификация преобразования грамматики в нормальную форму Хомского в F* Стр. 127-138.

С. Тул, П.Г. Ларсен Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Стр. 139-156.

А.М. Троицкий, Д.В. Буздалов Способ статической оценки времени работы компонентов AADL-моделей Стр. 157-172.

И.В. Ковернинский, А.В. Кан, В.Б. Волков, Ю.С. Попов, Н.К. Горелиц Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Стр. 173-180.

К.М. Маллачиев, Н.В. Пакулин, А.В. Хорошилов Устройство и архитектура операционной системы реального времени Стр. 181-192.

А.Н. Емеленко, К.А. Маллачиев, Н.В. Пакулин Разработка отладчика для операционной системы реального времени Стр. 193-204.

Гёссен Ф., Маргариа Т., Гёке Т Моделирование конвейера распознавания людей в системах контроля доступа Стр. 205-220.

Д.В. Пузырьков, В.О. Подрыга, С.В. Поляков Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Стр. 221-242.

Д.Д. Кожевников, Н.В. Красилич Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Стр. 243-258.

И.И. Чукляев Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Стр. 259-270.

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