Volume 8, issue 1 (in Russian)

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев. Стр. 211-228.

К.В. Буздин. Исполнение моделей при помощи виртуальной машины. Стр. 199-210.

Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, А.В. Никешин, В.З. Шнитман. Межпротокольный шлюз NAT-PT с функциями DNS-ALG и FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6. Стр. 167-198.

Ю.Н. Фонин, С. Грассман. Архитектура и принципы построения операционной среды «мини-ОС». Стр. 159-166.

В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'. Стр. 137-158.

Н.В. Пакулин. Применение UniTesK к тестированию встроенных систем. Стр. 117-136.

А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов. Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий. Стр. 99-116.

А.А. Сортов, А.В. Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK. Стр. 77-98.

М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах. Стр. 59-76.

С.В. Зеленов, С.А. Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа. Стр. 41-58.

В.В. Кулямин. Комбинаторика слов и построение тестовых последовательностей. Стр. 25-40.

А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Проблемы внедрения наукоемких технологий. Стр. 9-24.

В.П. Иванников. Предисловие. Стр. 5-6.

Back to the list of all volumes