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

Конорєв Б.М./Конорев Б.М.

Документи:

Аналіз задач інженерії енергоефективного програмного забезпечення мобільних пристроїв [Текст] : звіт про НДР (проміж.) : Д503-9/2015-Ф / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" ; кер. Харченко В., Туркін І. : викон. : Волобуєва [та інш.]. — Х., 2015. — 125 с.
Доказова незалежна верифікація та прогнозування дефектів критичного програмного забезпечення на базі диверсного вимірювання інваріантів [Текст] / Б.М. Конорев, В.В. Сергіенко, І.Б. Туркін // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2011. — С. 5-14.
Инвариантно-ориентированная оценка качества программного обеспечения космических систем [Текст] / Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. Б.М. Конорева, В.С. Харченка. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2009. — 224 с.
Инженерия критического программного обеспечения [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2015. — 68 с.
Модель инварианто-ориентированной оценки характеристик качества программного обеспечения [Текст] / Сертификационный центр АСУ ГП Госцентркачечтва, г.Харьков, Украина // . — С. 117-120.
Нормативная база программной инженерии в разработке систем с интенсивным использованием программного обеспечения [Текст] : метод. рук. по выполнению квалификац. заданий (курсовых работ) по тестированию / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; сост. Б. М. Конорев, Л. Ф. Пудовкина, И. Б. Сироджа, О. Е. Федорович. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2002. — 24 с.
Нормативная база программной инженерии в разработке систем с интенсивным использованием программного обеспечения [Текст] : учеб. пособие / Б.М. Конорев, Л.Ф. Пудовкина, И.Б. Сироджа, О.Е. Федорович. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2001. — 162 с.
Открытые информационные и компьютерные интегрированные технологии [Текст] : сб. науч. тр. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2009. — 249 с.
Оценка и обеспечение качества программных средств космических систем [Текст] / Нац. косм. агентство Украины, Гос. центр регулирования качества, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, Б.М. Конорева. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 244 с.
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью [Текст] / Б.М. Конорев, В.В. Сергиенко, В.С. Харченко, Г.М. Жолткевич // Радіоелектронні і комп'ютерні системи. — 2014. — С. 50-54.
Программное обеспечение автоматизированных систем (ПОАС) [Текст] : метод. рекомендации по диплом. проектированию для студентов дневной и заоч. форм обучения спец. 7.080403 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; сост. Б. М. Конорев, Л. Ф. Пудовкина, И. Б. Сироджа. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2002. — 52 с.
Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2012. — 120 с.
Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2013. — 111 с.
Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПОКС) [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. : Шостак И. [и др.]. — Х., 2014. — 202 с.
Скрининг-технология формирования нормативных профилей для программного обеспечения компьютерных систем аэрокосмических комплексов [Текст] / В.С. Харченко, Б.М. Конорев, Г.Н. Чертков, А.В. Волковой // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2003. — С. 160-167.
Технологии высокой готовности для программно-технических комплексов космических систем [Текст] / Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, Б.М. Конорева. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2010. — 372 с.
About static analysis of variables physical dimensions for critical-mission software [Текст] = Про статистический анализ размерности переменных для программного обеспечения критическогоприменения / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 186-191.