Том 28, № 2 (2016)

Труды Института системного программирования РАН
Trudy Instituta sistemnogo programmirovaniâ

eng | рус

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

Preview

Труды Института системного программирования РАН

Расширенный поиск

Архивы

Том 28, № 2 (2016)

Скачать выпуск PDF

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

Ю. В. Белякова

PDF (Eng)

5-32

Refinement типы для языка Jolie

Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера

PDF (Eng)

33-44

Образовательный визуальный потоковый язык для программирования роботов

Г. А. Зимин, Д. А. Мордвинов

PDF (Eng)

45-62

Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде

М. С. Малеванный, С. С. Михалкович

PDF (Eng)

63-78

Подход к обнаружению анти-паттернов в сервис-ориентированных системах

А. С. Югов

PDF (Eng)

79-96

Технология создания семейства приложений на основе анализа предметной области

А. А. Гудошникова, Ю. В. Литвинов

PDF (Eng)

97-110

Применимость AutoProof: учебный пример верификации ПО

Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин

PDF (Eng)

111-126

Верификация преобразования грамматики в нормальную форму Хомского в F

М. И. Полубелова, С. Н. Божко, С. В. Григорьев

PDF (Eng)

127-138

Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS

С. Тул, П. Г. Ларсен

PDF (Eng)

139-156

Способ статической оценки времени работы компонентов AADL-моделей

А. М. Троицкий, Д. В. Буздалов

PDF (Eng)

157-172

Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли

И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц

PDF (Eng)

173-180

Устройство и архитектура операционной системы реального времени

К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов

PDF (Eng)

181-192

Разработка отладчика для операционной системы реального времени

А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин

PDF (Eng)

193-204

Моделирование конвейера распознавания людей в системах контроля доступа

Ф. Гёссен, Т. Маргариа, Т. Гёке

PDF (Eng)

205-220

Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики

Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков

PDF (Eng)

221-242

Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей

Д. Д. Кожевников, Н. В. Красилич

PDF (Eng)

243-258

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

И. И. Чукляев

PDF (Rus)

259-270

Creative Commons License

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)