Манжос Ю.С./Manzhos Y.
Документи:
- Авторське право у програмній інженерії [Текст] : навч. посіб. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т". — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2012. — 56 с.
- Адаптация языковых средств, моделей и методов представления технологических процессов испытаний для лабораторного и стендового отработки бортовых подсистем космических аппаратов [Текст] : отчет о НИР (промежуточ.) : 603-08/2010 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. Лучшев П. [и др.]. — Х., 2011. — 118 с.
- Алгебричне аналізування надійності програмного забезпечення [Текст] / Ю.С. Манжос // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2014. — С. 20-27.
- Аналіз семантичних дефектів програмного забезпечення [Текст] / Ю.С. Манжос // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2010. — С. 5-14.
- Багатоінваріантний метод підвищення надійності програмних засобів [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 193-196.
- Використання аналізу розмірностей для підвищення рівня функціональної безпеки i&c систем [Текст] / Ю.С. Манжос // Радіоелектронні і комп'ютерні системи. — 2012. — С. 313-318.
- Инвариантно-ориентированная оценка качества программного обеспечения космических систем [Текст] / Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т"; под ред. Б.М. Конорева, В.С. Харченка. — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2009. — 224 с.
- Интеллектуальная система поддержки сертификации программного обеспечения систем критического применения [Текст] / В.С. Харченко, И.В. Шостак, Ю.С. Манжос // Авіаційно-космічна техніка і технологія : зб. наук. праць. — Х. : Нац. аєрокосмічний ун-т "ХАІ"; Миколаїв: Вид-во МФ НаУКМА, 2002. — С. 45-50.
- Інформаційна технологія аналiзування складних систем [Текст] / А.Л. Берднікова, Ю.С. Манжос // Радіоелектронні і комп'ютерні системи. — 2013. — С. 192-197.
- Калибровка чувствительности дескрипторного семантического контроля программного обеспечения инфоринформационно-управляющих систем [Текст] / В.Л. Петрик, Ю.С. Манжос // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2009. — С. 209-215.
- Метод идентификации рисков программного проекта на основе вероятностного подхода [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ" г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 207-211.
- Методология построения адаптируемого программного обеспечения для разработки, испытаний и экспериментальной отработки аэрокосмической техники [Текст] : отчет о НИР (заключ.) : Г603-20/2009 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. : Шостак И. [и др.]. — Х., 2011. — 308 с.
- Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // Радіоелектронні і комп'ютерні системи. — 2008. — C. 115-118.
- Модель дефектов программного обеспечения [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", Украина // Радіоелектронні і комп'ютерні системи. — 2008. — С. 46-51.
- Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов [Текст] / Б.М. Конорев, С.А. Засуха, Ю.С. Манжос та ін. // Радіоелектронні і комп'ютерні системи. — 2006. — С. 162-170.
- Основы объектно-ориентированного программирования [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2005. — 145 с.
- Оценка эффективности независимой верификации программного обеспечения [Текст] / Ю.С. Манжос // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2004. — С. 210-214.
- Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем [Текст] / Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2007. — С. 86-93.
- Принципы семантического контроля программного обеспечения [Текст] / Ю.С. Манжос // Авиационно-космическая техника и технология : труды / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Антиква, 2002. — С. 307-315.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2012. — 120 с.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПОКС) [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. : Шостак И. [и др.]. — Х., 2014. — 202 с.
- Семантический контроль программного обеспечения систем критического применения [Текст] / Ю.С. Манжос // Авіаційно-космічна техніка і технологія : зб. наук. праць. — Х. : Нац. аєрокосмічний ун-т "ХАІ"; Миколаїв: Вид-во МФ НаУКМА, 2002. — С. 207-212.
- Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - автоматиз. системи упр. та прогрес. інформ. технол. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2007. — 20 с.
- Фактори надійності програмного забезпечення [Текст] / Ю.С. Манжос // Радіоелектронні і комп'ютерні системи. — 2013. — С. 305-312.
- Якість програмного забезпечення та тестування [Текст] : навч. посіб. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2012. — 200 с.
|
