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

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

Манжос Ю.С.
Алгебричне аналізування надійності програмного забезпечення

Вид документа: Стаття періодики
Автор: Манжос Ю.С. Вид автора: персона
Мова: Українська Обсяг: С. 20-27
УДК: 004.052

Аннотацiя:Розглянуто засади класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного коду, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного коду. Розглянуто властивості відображень.. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення., обумрвлені порушеннямінтервальних відношень, та визначено необхідні умови відсутності дефектів.

Є складовою частиною документа: Інженерія програмного забезпечення

Відомості щодо головного
 Назва головного документа:Інженерія програмного забезпечення
 Дата видання головного документа:2014
 Номер частини головного документа:1

Загальна інформація
 Бібліографія:Бібліогр.: 8 назв.

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

  • УДК/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
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/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 днів (в зависмости від складності запиту).

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

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

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


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

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

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


Надіслати