[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/ Праці співробітників ХАІ/Труды сотрудников ХАИ
Задати питання
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом 3 днів (в зависмости від складності запиту).
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Категорія користувача
Студент
Викладач
Науковий співробітник
Аспірант
Співробітник університету
Учень ліцею
Розділ
*
Авіація і космонавтика
Астрономія
Аеродинаміка
Бухгалтерія
Військова техніка
Географія
Двигуни. Силові установки
Деталі машин
Мистецтво
Історія
Комп'ютерна технологія
Космонавтика. Ракетна техніка
Культурологія
Логіка
Маркетинг
Математика
Машинобудування
Освіта. Виховання. Навчання
Пневмоенергетіка. Холодильна техніка
Право. Юридичні науки
Психологія
Релігія. Теологія
Соціологія
Стандартизація та стандарти
Теплодинаміка
Технологія механічної обробки матеріалів
Управління підприємствами. менеджмент
Фізика
Філософія
Фінанси
Хімія
Економіка. Економічні науки
Електротехніка
Етика
Мовознавство
Екологія
Загальні питання
Ракетна техніка й озброєння
Телекомунікації. Зв'язок. Радіотехніка
інше
Кібернетика. Автоматика
Питання
*
Замовити частина документа (книгу)
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про книгу
Автор
*
Назва
*
Рік видання
*
Місце видання
*
Том
*
Сторінки
*
Замовити статтю з журналу / збірника
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про статтю з журналу / збірника
Название журнала/сборника
*
Автор
*
Назва статті
*
Рік видання
*
Місце видання
*
Номер журналу / збірника
*
Сторінки
*