library@khai.edu
+38 (057) 788-42-24

Головна
→
Електронний каталог
→
Пошук по електронному каталогу

Форма поиска Назад

укр рус eng

Поиск по электронному каталогу

Условия поиска
Все документы темы "Конорєв Б.М./Конорев Б.М."

Результаты 1 - 20 от общего числа 24

Список

1.
About static analysis of variables physical dimensions for critical-mission software=Про статистический анализ размерности переменных для программного обеспечения критическогоприменения / S. S. Brukhankov, B. М. Konorev, M. S. L'vov, G. N. Zholtkevych ; Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. - 2010. - № 6. - С. 186-191 . - 9 назв

2.	Шифр: 004 И58
Инвариантно-ориентированная оценка качества программного обеспечения космических систем / Б. М. Конорев, Ю. С. Манжос, В. С. Харченко, Ю. Г. Алексеев [и др. ] ; Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. Б.М. Конорева, В.С. Харченка. - Харьков. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2009. - 224 с. - 978-966-662-193-4 - ( Качество программного обеспечения и безопасность космических систем ) . - 35,00

3.	Шифр: 004 Н83
Нормативная база программной инженерии в разработке систем с интенсивным использованием программного обеспечения : учеб. пособие / Б. М. Конорев, Л. Ф. Пудовкина, И. Б. Сироджа, О. Е. Федорович. - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2001. - 162 с.

4.
Модель инварианто-ориентированной оценки характеристик качества программного обеспечения / Б. М. Конорев, В. В. Сергиенко, Ю. Г. Алексеев, Г. Н. Чертков ; Сертификационный центр АСУ ГП Госцентркачечтва, г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. - 2010. - № 7. - С. 117-120 . - 5 назв

5.
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью / Б. М. Конорев, В. В. Сергиенко, В. С. Харченко, Г. М. Жолткевич // Радіоелектронні і комп'ютерні системи. - 2014. - № 5. - С. 50-54 . - Библиогр.: 5 назв.

6.	Конорев Б.М.
Доказова незалежна верифікація та прогнозування дефектів критичного програмного забезпечення на базі диверсного вимірювання інваріантів / Б. М. Конорев, В. В. Сергіенко, І. Б. Туркін // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. - 2011. - № 1. - С. 5-14 . - 5 назв.

7.	Шифр: 004 И62
Инженерия критического программного обеспечения : учеб. пособие / Б. М. Конорев, И. Б. Туркин, В. В. Сергиенко, В. С. Харченко [и др. ] ; М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т". - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2015. - 68 с. - 978-966-662-403-4

8.
Скрининг-технология формирования нормативных профилей для программного обеспечения компьютерных систем аэрокосмических комплексов / В. С. Харченко, Б. М. Конорев, Г. Н. Чертков, А. В. Волковой // Открытые информационные и компьютерные интегрированные технологии . - Х.,2003. - Вып. 20. - С. 160-167

9.	Шифр: 629.78 Т38
Технологии высокой готовности для программно-технических комплексов космических систем / В. С. Харченко, О. Н. Одарущенко, Ю. Л. Поночовный, Е. Б. Одарущенко [и др. ] ; Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, Б.М. Конорева. - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2010. - 372 с. - 978-966-662-198-9 - ( Качество программного обеспечения и безопасность космических систем ) . - 35,00

10.	Шифр: 629.78 О-93
Оценка и обеспечение качества программных средств космических систем / В. С. Харченко, В. В. Скляр, Б. М. Конорев, Ю. Г. Алексеев [и др. ] ; Нац. косм. агентство Украины, Гос. центр регулирования качества, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. В.С. Харченко, Б.М. Конорева. - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. - 244 с. - 978-966-96770-1-3 - ( Качество программного обеспечения и безопасность космических систем ) . - 35,00

11.	Шифр: 004 А64
Аналіз задач інженерії енергоефективного програмного забезпечення мобільних пристроїв : звіт про НДР (проміж.) : Д503-9/2015-Ф . Т. 2 / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" ; кер. Харченко В, Туркін І. : викон. : Волобуєва [та інш.]. - Х., 2015. - 125 с. - № ДР 0115U000996 - Інв. № 0216U003623

12.	Шифр: 004 Н83
Нормативная база программной инженерии в разработке систем с интенсивным использованием программного обеспечения : метод. рук. по выполнению квалификац. заданий (курсовых работ) по тестированию / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; сост. Б. М. Конорев, Л. Ф. Пудовкина, И. Б. Сироджа, О. Е. Федорович. - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2002. - 24 с.

13.	Шифр: 004 О-83
Открытые информационные и компьютерные интегрированные технологии : сб. науч. трудов , Вып. 48 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т". - Харьков. - Нац. аэрокосмический ун-т им. Н.Е. Жуковского "ХАИ", 2010. - 267 с . - 25,00

14.	Шифр: 004 О-83
Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. , Вып. 43. - Х. - Нац. аэрокосмический ун-т "ХАИ", 2009. - 258 с . - 20,00

15.	Шифр: 004 О-83
Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. , Вып. 44. - Х. - Нац. аэрокосмический ун-т "ХАИ", 2009. - 249 с . - 20,00

16.	Шифр: 004 О-83
Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. , Вып. 41 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2009. - 293 с . - 20,00

17.	Шифр: 004 О-83
Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. , Вып. 47 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Харьков. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2010. - 174 с . - 25,00

18.	Шифр: 004 О-83
Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. , Вып. 42 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2009. - 291 с . - 20,00

19.	Шифр: 004 П78
Программное обеспечение автоматизированных систем (ПОАС) : метод. рек. по диплом. проектированию для студентов дневной и заоч. форм обучения спец. 7.080403 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; сост. Б. М. Конорев, Л. Ф. Пудовкина, И. Б. Сироджа. - Х. - Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2002. - 52 с.

20.	Шифр: 004 Р17
Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) : отчет о НИР (промежуточ.) : Д503-17/2012-Ф . Т. 2 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. - Х., 2012. - 120 с. - № ГР 0112U001058 - Инв. № 0213U002579

Страница с результатами: 1 2

Сведения о заказчике:
Заказать*:
ФИО*:
Номер чит. билета (ХАИ):
E-mail*:
Сведения о документе:
Шафр и/или автор*:
Название / Описание*:
Шифр:
Том:
Страницы*:	ограничение - 30 страниц (согласно авторскому праву)
Поля отмеченные звездочкой (*) обязательны для заполнения.