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

Edited by Academician V.P. Ivannikova

Table of Contents

А.И. Гриневич, Д.А. Марковцев, В.В. Рубанов. Проблемы совместимости Linux-систем. Стр. 15-28.

А.В. Пономаренко. Разработка модельной реализации функций Бесселя из стандарта LSB. Стр. 115-142.

В.П.Иванников, А.К. Петренко. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. Стр. 9-14.

В.П. Иванников, В.В. Кулямин. Предисловие. Стр. 5-8.

А.Р.Арутюнян. Сравнение эффективности обходчиков UniTESK. Стр. 167-180.

А.С. Камкин. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. Стр. 143-166.

В.В. Кулямин. Формальные подходы к тестированию математических функций. Стр. 69-114.

А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. Стр. 51-68.

А.В. Хорошилов. Linux Standard Base: история успеха? Стр. 29-50.

Back to the list of all volumes