Volume 4 (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 4 (in Russian), 2003, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

Д.Р. Ширяев. Автоматическая генерация графических пользовательских интерфейсов доступа к интегрированным данным на основе диаграмм классов UML. Стр. 219-231.

Л.Г. Новак, С.Д. Кузнецов. Свойства схем данных XML. Стр. 191-218.

Д.Н. Волков. Вопросы организации распределенного хранения данных в системах обработки изображений. Стр. 177-190.

В. В. Кулямин, О. Л. Петренко. Место тестирования среди методов оценки качества ПО. Стр. 163-175.

К.В. Ахтырченко, Т.П. Сорокваша. Методы и технологии реинжиниринга ИС. Стр. 141-162.

Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. Стр. 121-140.

А.В. Чернов. Об одном методе маскировки программ. Стр. 85-119.

И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин. Асинхронные автоматы: классификация и тестирование. Стр. 7-83.

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

Back to the list of all volumes