دانلود کتاب Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Name: Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.
Availability: InStock
Author: Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

by Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

عنوان فارسی: مجموعه مقالات موسسه برای سیستم برنامه نویسی آکادمی علوم روسیه . تام 10. اطمینان از قابلیت اطمینان و سازگاری از لینوکس و سیستم های . 2006
ناشر: ИСП РАН
سال: 2006
زبان: روسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 88-88
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 5.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

Десятый том трудов Института системного программирования РАН посвящен проекту Центра верификации операционной системы Linux, созданного на базе нашего института, по разработке тестового набора для проверки соответствия стандарту Linux Standard Base. Тестовый набор строится на базе формальных спецификаций требований стандарта и призван обеспечить как аккуратное прослеживание обнаруживаемых нарушений к нарушаемым ими требованиям, так и удобное сопровождение тестов, их конфигурирование, внесение модификаций в результате изменения каких-то требований и перенацеливание тестов на работу на другой платформе.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!