Том 10


Труды Института системного программирования РАН. Том 10, 2006, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Содержание

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

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

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

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

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

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

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

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

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

Вернуться к списку всех томов