[email protected]
+38 (057) 788-42-24
Електронний каталог
dKHAIIR
Про бібліотеку
Бібліотека сьогодні
Історія бібліотеки
Структура бібліотеки. Графік роботи.
Положення про науково-технічну бібліотеку
Правила користування НТБ
Ресурси
Інформаційно-бібліографічні ресурси
Бібліографічні видання
Тематичні книжково-ілюстративні виставки
Віртуальні виставки
Нові надходження
Онлайн-ресурси локального доступу
Онлайн-ресурсы вільного доступу
Списки публікацій співробітників НТБ
Швидкий пошук
Студенту
Оформлення списку літератури
Основи інформаційної культури
Соціокультурна діяльність
Галерея
Архів подій
Випускники ХАІ
Наука
Бібліометричні профілі співробітників Університету
Нормативно-правова база
Оформлення дисертацій і авторефератів
Наукометрична діяльність
Створення авторського профілю
Технічні звіти з НДДКР
До уваги науковців
Послуги
Електронна доставка документів
Віртуальна довідка
Ваш формуляр
Усі послуги
Головна
→
Електронний каталог
→
Пошук по електронному каталогу
→
Опис документа
Форма пошуку
Назад
укр
рус
eng
Cписок
Петрик В.Л., Манжос Ю.С.
Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем
Вид документа:
Складова частина документа
Автор:
Петрик В.Л., Манжос Ю.С.
Вид автора:
персона
Мова:
Російська
Обсяг:
С. 209-215
УДК:
004.05+004.415.5
Аннотацiя:
Представлена процедура калибровки чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и динамического анализов, показавшие, что применение дескрипторного семантического контроля обеспечивает достаточно точную оценку вероятности существования остаточных программных дефектов.
Переглянути електронну копію
Є складовою частиною документа:
Открытые информационные и компьютерные интегрированные технологии
Відомості щодо головного
Вид автора головного документа
:
Персона
Назва головного документа
:
Открытые информационные и компьютерные интегрированные технологии
Відомості щодо назви головного документа
:
сб. науч. тр.
Відомості про відповідальність головного документа
:
М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"
Місце видання головного документа
:
Харьков
Видавник головного документа
:
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т"
Дата видання головного документа
:
2012
Номер частини головного документа
:
Вып. 53
Шифр головного документа
:
004
Авторський знак головного документа
:
О-83
Загальна інформація
Бібліографія
:
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
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.4 Програмне забезпечення/Программные средства/Software/ 004.41 Техніка програмування. Програмотехніка/Программотехника. Разработка вычислительных систем/Software engineering/ 004.415 Розробка комп'ютерної системи і програмного забезпечення/Разработка компьютерной системы и программного обеспечения/Development of computer systems and software/ 004.415.5 Верифікація і оцінка програмних засобів/Верификация и оценка программных средств/Verification and evaluation software
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ П/ Петрик В.Л.
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ М/ Манжос Ю.С./Manzhos Y.
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
Задати питання
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом 3 днів (в зависмости від складності запиту).
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Категорія користувача
Студент
Викладач
Науковий співробітник
Аспірант
Співробітник університету
Учень ліцею
Розділ
*
Авіація і космонавтика
Астрономія
Аеродинаміка
Бухгалтерія
Військова техніка
Географія
Двигуни. Силові установки
Деталі машин
Мистецтво
Історія
Комп'ютерна технологія
Космонавтика. Ракетна техніка
Культурологія
Логіка
Маркетинг
Математика
Машинобудування
Освіта. Виховання. Навчання
Пневмоенергетіка. Холодильна техніка
Право. Юридичні науки
Психологія
Релігія. Теологія
Соціологія
Стандартизація та стандарти
Теплодинаміка
Технологія механічної обробки матеріалів
Управління підприємствами. менеджмент
Фізика
Філософія
Фінанси
Хімія
Економіка. Економічні науки
Електротехніка
Етика
Мовознавство
Екологія
Загальні питання
Ракетна техніка й озброєння
Телекомунікації. Зв'язок. Радіотехніка
інше
Кібернетика. Автоматика
Питання
*
Замовити частина документа (книгу)
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про книгу
Автор
*
Назва
*
Рік видання
*
Місце видання
*
Том
*
Сторінки
*
Замовити статтю з журналу / збірника
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про статтю з журналу / збірника
Название журнала/сборника
*
Автор
*
Назва статті
*
Рік видання
*
Місце видання
*
Номер журналу / збірника
*
Сторінки
*