Зведений каталог бібліотек Харкова

Тарасюк О.М.

Документи:

Безопасность аэрокосмической техники и надежность компьютерных систем [Текст] / В.С. Харченко, В.В. Скляр, О.М. Тарасюк // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2004. — С. 66-80.
Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения [Текст] = Safety of Critical Infrastructures: Mathematical and Engineering Methods of Analysis and Ensuring / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2011. — 641 с.
Безопасность ракетно-космической техники и надежность компьютерных систем: 2000-2009 гг. [Текст] / Нац. аэроксм. ун-т им. Н.Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2011. — С. 9-20.
Зеленая ИТ-инженерия [Текст]. Принципы, компоненты, модели : [в 2 т.] / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2014. — 594 с.
Использование радиальных метрических диаграмм для оценки характеристик программного обеспечения [Текст] / В.С. Харченко, О.М. Тарасюк // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2003. — С. 123-133.
Исследование и разработка энергоэффективных беспроводных сетей [Текст] = Research and Development for Power Efficient Wireless Networks : практикум / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2016. — 96 с.
Исследование уязвимостей серверных операционных систем [Текст] / А.Ю. Белобородов, А.В. Горбенко, О.М. Тарасюк, С.А. Шеремет // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 50-58.
Матрично-графовый метод выбора моделей роста надежности одноверсионных и многоверсионных программных средств [Текст] / В.С. Харченко, В.В. Скляр, О.М. Тарасюк // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / МОН Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Харьков : Изд-во ХАИ ; Торнадо, 2002. — С. 65-85.
Метод и инструментальные средства комплексной метрико-вероятностной оценки надежности программного обеспечения [Текст] / В.С. Харченко, О.М. Тарасюк, А.В. Горбенко, В.В. Скляр // Электронное моделирование. — 2005. — С. 85-98.
Методика минимизации времени обслуживания сервис-ориентированных систем [Текст] / А.В. Горбенко, О.М. Тарасюк // Радіоелектронні і комп'ютерні системи. — 2012. — С. 87-91.
Методика нормализации статистических данных тестирования программного обеспечения [Текст] / О.М. Тарасюк // Радіоелектронні і комп'ютерні системи. — 2007. — C. 189-192.
Методи системного аналізу в радіоелектроніці та комп'ютерній інженерії [Текст] : підруч. для студ. вищ. навч. закл. : гриф МОН України / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" ; за ред. С. Ю. Даншиної, В. С. Харченка. — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2014. — 424 с.
Методи та інструментальні засоби метрико-ймовірнісної оцінки якості програмного забезпечення інформаційно-управляючих систем критичного застосування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - автоматизовані системи управління та прогресивні інформаційні технології / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М.Є.Жуковського "ХАІ". — Х., 2004. — 20 с.
Метод проектирования беспроводных компьютерных сетей с учетом требований к пропускной способности [Текст] / Саид Мохемнд, В.С. Котик, А.В. Горбенко, О.М. Тарасюк // Системи обробки інформації / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — С. 99-103.
Метод формальной верификации UMC: UML Model Checking [Текст] / Е.И. Политько, О.М. Тарасюк, А.В. Горбенко // Системи обробки інформації / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — С. 211-215.
Методы моделирования и оценки качества и надежности программного обеспечения [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2004. — 159 с.
Многошаговая процедура построения графа состояний при исследовании вычислительных систем с использованием аппарата марковских процессов [Текст] / Национальный аэрокосмический университет им. Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 75-81.
Надежность и отказоустойчивость компьютерных средств и систем [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 44 с.
Насколько формальны формальные методы? [Текст] / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Математичні машини і системи : наук. журнал / Нац. акад. наук України, Ін-т проблем темат. машин і систем Нац. акад. наук України. — С. 154-167.
Отыскание законов распределения логических функций от случайных аргументов методом статистических испытаний [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 251-256.
Применение динамических радиальных метрических диаграмм для управления многоверсионными программными проектами [Текст] / В.С. Харченко, О.М. Тарасюк, А.В. Волковой, Ю.А. Белый // . — С. 63-68.
Проблемы создания гетерогенных систем для глобально-распределённой обработки и хранения информации [Текст] / О.М. Тарасюк // Радіоелектронні і комп'ютерні системи : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : ХАІ, 2016. — С. 148-154.
Процедуры анализа допущений и выбора моделей надежности программных средств с использованием матрично-графового метода [Текст] / О.М. Тарасюк, В.С. Харченко // Технология приборостроения : Научно-технический журнал / ГП НИТИП. — С. 184-188.
Разработка методики профилирования и системной классификации метрик качества и надежности программных средств [Текст] / О.М. Тарасюк, В.С. Харченко // Авіаційно-космічна техніка і технологія : зб. наук. праць. — Х. : Нац. аерокосмічний ун-т "ХАІ", 2002. — С. 196-201.
Разработка положений методологии зеленого компьютинга и коммуникаций в условиях ресурсных ограничений [Текст] : отчет о НИР (промежуточ.) : Д503-9/2015-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2015. — 246 с.
Системи обробки інформації [Текст] / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — 156 с.
Способы решения проблемы неравномерного распределения времени удержания среды передачи в беспроводных сетях [Текст] / О.М. Тарасюк // Радіоелектронні і комп'ютерні системи. — 2014. — С. 79-84.
Теоретические основы, методы и информационные технологии разработки программно-технических комплексов критического применения в условиях ресурсных ограничений. Внедрение полученных результатов [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2014. — 278 с.
Теоретические основы, методы и технологии обеспечения гарантоспособности эволюционирующих компьютеризованных инфраструктур для аэрокосмических и критических объектов [Текст] : отчет о НИР (заключ.) : Д503-17/2009 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. ; исполн.: Лысенко И. [и др.]. — Х., 2011. — 252 с.
Теоретические основы проектирования компьютерных систем [Текст] : конспект лекций / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 68 с.
Теория систем и системный анализ [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2006. — 35 с.
Технологии защиты информации в компьютерных сетях [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2006. — 43 с.
Технологии защиты информации в компьютерных сетях [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 55 с.
Технологии Web, Grid, Cloud для гарантоспособных ИТ-инфраструктур [Текст] = Web, Grid, Cloud Technologies for Dependable IT-infrastructures / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, А.В. Горбенко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2013. — 868 с.
CASE-оценка критических программных систем [Текст]. Безопасность = CASE-Assessment of Critical Software Systems : [в 3 т.] / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; под ред. В. С. Харченко. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2012. — 301 с.