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

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

Политько Е.И., Тарасюк О.М., Горбенко А.В.
Метод формальной верификации UMC: UML Model Checking

Вид документа: Складова частина документа
Автор: Политько Е.И., Тарасюк О.М., Горбенко А.В. Вид автора: персона
Мова: Російська Обсяг: С. 211-215
УДК: 004.052

Аннотацiя:В статье анализируются существующие проблемы инженерии программного обеспечения, обусловленные сложностью современных программ и параллельностью выполнения взаимодействующих процессов. Выполнен обзор формальных методов разработки и верификации, позволяющих доказать соответствие моделей программ и систем формальным требованиям. Рассмотрены особенности мептода формальной верификации Model Checking и его развтие для верификации диаграмм состояний UML.

Є складовою частиною документа: Системи обробки інформації

Відомості щодо головного
 Вид автора головного документа:Персона
 Назва головного документа:Системи обробки інформації
 Відомості щодо назви головного документа:[зб. наук. пр.]
 Відомості про відповідальність головного документа:М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба
 Місце видання головного документа:Харків
 Видавник головного документа:ХУ ПС ім. І. Кожедуба
 Дата видання головного документа:2013
 Номер частини головного документа:Вип. 1 (108)
 Шифр головного документа:004
 Авторський знак головного документа:С40

Загальна інформація
 Бібліографія:Библиогр.: 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/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Г/ Горбенко А.В./Gorbenko A.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Т/ Тарасюк О.М./Tarasyuk O.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
logo logo logo logo

Контакти

Національний аерокосмічний університет
Україна, м. Харків, 61070
вул. Вадима Манька, 17

(057) 788-42-24, (057) 788-46-10
[email protected]

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

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

Ресурси

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

Підпишіться

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

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

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

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

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

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


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

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

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


Надіслати