Препринты ИСП РАН


Архив выпусков

Выпуски за 2016 год

Препринт 29.

Е.М. Лаврищева. Теория объектно-компонентного моделирования программных систем.
подробнее

Выпуски за 2015 год

Препринт 28.

А.И.Гетьман, Е.Ф. Евстропов, Ю.В. Маркин. Анализ сетевого трафика в режиме реального времени: обзор прикладных задач, подходов и решений.
подробнее

Выпуски за 2014 год

Препринт 27.

Ю.В. Маркин, А.С. Санаров. Обзор современных инструментов анализа сетевого трафика.
подробнее

Выпуски за 2013 год

Препринт 26.

В.В. Липаев. Надежность и функциональная безопасность комплексов программ реального времени.
подробнее

Препринт 25.

Ледовских Илья. Метрики сложности кода.
подробнее

Препринт 24.

В.В. Каушан, Ю.В. Маркин, В.А. Падарян, А.Ю. Тихонов. Методы поиска ошибок в бинарном коде.
подробнее

Выпуски за 2011 год

Препринт 23.

Игорь Бурдонов, Александр Косачев. Удаление из спецификации неконформных трасс.
подробнее
more in English

Выпуски за 2010 год

Препринт 22.

Дуглас Арнольд, Кристин Фаулер. Гнусные цифры.
подробнее

Выпуски за 2008 год

Препринт 21.

А.С. Камкин. Комбинаторная генерация тестовых программ для микропроцессоров на основе моделей.
подробнее
more in English

Выпуски за 2007 год

Препринт 19.

К.В. Ребриков, В.З. Шнитман. Протоколы автоматического установления контекстов безопасности и управления ключами в Интернет.
подробнее

Выпуски за 2006 год

Препринт 18.

Л.Е. Карпов, В.Н. Юдин. Методы добычи данных при построение локальной метрики в системах вывода по прецедентам.
подробнее

Препринт 17.

Алексей Демаков. Язык описания абстрактного синтаксиса TreeDL и его использование.
подробнее

Препринт 16.

И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман. Обзор подходов к верификации распределенных систем.
подробнее

Препринт 15.

А.С. Косачев, В.Н. Пономаренко. Анализ подходов к верификации функций безопасности и мобильности.
подробнее

Препринт 14.

И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко. Операционные системы реального времени.
подробнее

Препринт 13.

В.В. Кулямин, Н.В. Пакулин, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Формализация требований на практике.
подробнее

Препринт 12.

А.В. Хорошилов. Спецификация и тестирование систем с асинхронным интерфейсом.
подробнее

Препринт 11.

Петр Плешачков. SXTM: Высокопроизводительный менеджер управления XML-транзакциями.
подробнее

Препринт 10.

А.А. Болдаков, М.Н. Гринев. Расширение языка XQuery функциональными update-выражениями.
подробнее

Препринт 9.

М.В. Архипова. Генерация тестов для семантических анализаторов.
подробнее

Выпуски за 2005 год

Препринт 8.

В.П. Иванников, А.С. Камкин, В.В. Кулямин, А.К. Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения.
подробнее

Препринт 7.

М.А. Посыпкин, А.А. Соколов. Обзор методов автоматизации мониторинга, анализа и визуализации поведения параллельных процессов, взаимодействующих с помощью передачи сообщений.
подробнее

Препринт 6.

В.А. Падарян. Оценка времени работы параллельной программы с помощью интерпретатора среды ParJava.
подробнее

Препринт 5.

М.Б. Кузнецов. Трансформация UML-моделей и ее применение в технологии MDA.
подробнее

Выпуски за 2004 год

Препринт 4.

М.В. Ксензов. Рефакторинг архитектуры программного обеспечения.
подробнее

Препринт 3.

Л.В. Земских. Возможности оптимизации системы автономного адаптивного управления с помощью генетических алгоритмов.
подробнее

Препринт 2.

М.А. Посыпкин. Применение формальных методов для тестирования компиляторов.
подробнее

Выпуски за 2003 год

Препринт 1.

А.В. Чернов. Интегрированная инструментальная среда Poirot для изучения методов маскировки программ.
подробнее