[email protected]
+38 (057) 788-42-24
  •   Електронний каталог
  •   dKHAIIR
  • Про бібліотеку
    • Бібліотека сьогодні
    • Історія бібліотеки
    • Структура бібліотеки. Графік роботи.
    • Положення про науково-технічну бібліотеку
    • Правила користування НТБ
  • Ресурси
    • Інформаційно-бібліографічні ресурси
      • Бібліографічні видання
      • Тематичні книжково-ілюстративні виставки
      • Віртуальні виставки
    • Нові надходження
    • Онлайн-ресурси локального доступу
    • Онлайн-ресурсы вільного доступу
    • Списки публікацій співробітників НТБ
    • Швидкий пошук
  • Студенту
    • Оформлення списку літератури
    • Основи інформаційної культури
    • Соціокультурна діяльність
      • Галерея
      • Архів подій
    • Випускники ХАІ
  • Наука
    • Бібліометричні профілі співробітників Університету
    • Нормативно-правова база
    • Оформлення дисертацій і авторефератів
    • Наукометрична діяльність
    • Створення авторського профілю
    • Технічні звіти з НДДКР
    • До уваги науковців
  • Послуги
    • Електронна доставка документів
    • Віртуальна довідка
    • Ваш формуляр
    • Усі послуги
  • Головна
  •  → 
  • Електронний каталог
  •  → 
  • Пошук по електронному каталогу
  •  → 
  • Опис документа

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

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

Вид документа: Складова частина документа
Автор: Конорев Б.М., Засуха С.А., Манжос Ю.С., Семенов Л.П., Сергиенко В.В., Харченко В.С., Чертков Г.Н. Вид автора: персона
Мова: Російська Обсяг: С. 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
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/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
[email protected]

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

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

Ресурси

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

Підпишіться

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

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

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

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

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

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


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

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

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


Надіслати