brand

Том 10


Новости

08 Июня, 2026 IX Международная конференция ИСП РАН «Иванниковские чтения»
20 Мая, 2026 Итоги конкурса на замещение вакантных должностей
29 Апреля, 2026 Итоги конкурса на замещение вакантных должностей

Труды Института системного программирования РАН. Том 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.

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