library@khai.edu
+38 (057) 788-42-24
  •   Електронний каталог
  • Про бібліотеку
    • Бібліотека сьогодні
    • Історія бібліотеки
    • Структура бібліотеки. Графік роботи.
    • Положення про науково-технічну бібліотеку
    • Правила користування науково-технічною бібліотекою Національного аерокосмічного університету ім. М. Є. Жуковського «ХАІ»
  • Ресурси
    • Інформаційно-бібліографічні ресурси
      • Бібліографічні видання
      • Тематичні книжково-ілюстративні виставки
      • Віртуальні виставки
    • Нові надходження
    • Онлайн-ресурси локального доступу
    • Онлайн-ресурсы вільного доступу
    • Списки публікацій співробітників НТБ
  • Студенту
    • Основы информационной культуры
    • Оформлення списку літератури
    • Соціокультурна діяльність
      • Галерея
      • Архів подій
  • Наука
    • Бібліометричні профілі співробітників Університету
    • Нормативно-правова база
    • Оформлення дисертацій і авторефератів
    • Наукометрична діяльність
    • Створення авторського профілю
    • Технічні звіти з НДДКР
  • Послуги
    • Електронна доставка документів
    • Віртуальна довідка
    • Ваш формуляр
    • Усі послуги
  • Головна
  •  → 
  • Електронний каталог
  •  → 
  • Пошук по електронному каталогу
  •  → 
  • Опис документа

Форма поиска Назад
укр рус eng
 Список

Конорев Б.М., Засуха С.А., Манжос Ю.С., Семенов Л.П., Сергиенко В.В., Харченко В.С., Чертков Г.Н.
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов

Вид документа: Складова частина документа
Автор: Конорев Б.М., Засуха С.А., Манжос Ю.С., Семенов Л.П., Сергиенко В.В., Харченко В.С., Чертков Г.Н. Вид автора: персона
Мова: Російська Обсяг: С. 162-170
УДК: 004.052.42

Аннотацiя:Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения (ПО) ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.


Прочитать электронную копию

Є складовою частиною документа: Радіоелектронні і комп'ютерні системи

Відомості щодо головного
 Вид автора головного документа:Персона
 Назва головного документа:Радіоелектронні і комп'ютерні системи
 Дата видання головного документа:2006
 Номер частини головного документа:7

Теми документа:

  • УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.05 Якість систем і програмного забезпечення/Качество систем и программного обеспечения/System and software quality/ 004.052 Надійність і точність систем і програмного забезпечення/Надежность и точность систем и программного обеспечения/Reliability and accuracy of systems and software/ 004.052.4 Контроль помилок. Обробка помилок/Контроль ошибок. Обработка ошибок/Error control. Error handling/ 004.052.42 Виявлення помилок. Оцінка даних. Підтверження достовірності даних. Перевірка даних/Выявление ошибок. Оценка данных. Подтверждение достоверности данных. Проверка данных/Error detection. Data validation. Data verification
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Х/ Харченко В.С./Kharchenko V.S.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ М/ Манжос Ю.С./Manzhos Y.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
logo logo logo logo

Контакти

Національний аерокосмічний університет ім. М.Є. Жуковського "ХАІ"
Україна, м. Харків, 61070
вул. Чкалова, 17

(057) 788-42-24, (057) 788-46-10
library@khai.edu

Про бібліотеку

  • Історія бібліотеки
  • Бібліотека сьогодні
  • Структура бібліотеки. Графік роботи.
  • Правила користування науково-технічною бібліотекою

Ресурси

  • Електронний каталог
  • Онлайн-ресурси локального доступу
  • Онлайн-ресурси вільного доступу

Підпишіться

на розсилку наших новин

2019 © Науково-технічна бібліотека ХАІ

Задати питання
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом 3 днів (в зависмости від складності запиту).

Надіслати
Замовити частина документа (книгу)
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).

Відомості про замовника

Відомості про книгу


Надіслати
Замовити статтю з журналу / збірника
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).

Відомості про замовника

Відомості про статтю з журналу / збірника


Надіслати