Міхніч Б.Б./Михнич Б.Б.
Документи:
- Автоматизация технологических процессов испытаний [Текст] / Национальный аэрокосмический университет им.Н.Э.Жуковского "ХАИ", г.Харьков, Украина // VII Международная научно-практическая конференция "Современные информационные технологии в экономике и управлении предприятиями, программами и проектами" : тезисы докладов / Современные информационные технологии в экономике и управлении предприятиями, программами и проектами, научнопрактическая конференция , Харьков. — Х. : Нац. аэрокосмический ун-т им. Н.Е. Жуковского "ХАИ", 2009. — С. 166-167.
- Адаптация языковых средств, моделей и методов представления технологических процессов испытаний для лабораторного и стендового отработки бортовых подсистем космических аппаратов [Текст] : отчет о НИР (промежуточ.) : 603-08/2010 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. Лучшев П. [и др.]. — Х., 2011. — 118 с.
- Методология построения адаптируемого программного обеспечения для разработки, испытаний и экспериментальной отработки аэрокосмической техники [Текст] : отчет о НИР (заключ.) : Г603-20/2009 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. : Шостак И. [и др.]. — Х., 2011. — 308 с.
- Модели и методы разработки виртуальных лабораторных комплексов на основе технологии Windows Workflow Foundation [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2010. — С. 69-75.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2012. — 120 с.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2013. — 111 с.
- Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПОКС) [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Туркин И. : исполн. : Шостак И. [и др.]. — Х., 2014. — 202 с.
- Разработка программного обеспечения для автоматизации испытаний систем космических аппаратов с использованием технологии Windows Workflow Foundation [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 142-146.
- Реинжиниринг программного обеспечения подсистемы обработки телеметрической информации Центра управления полётом [Текст] / Нац. аэрокосм. ун-т им. Н.Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2010. — С. 93-99.
- Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation [Текст] / Национальный аэрокосмический университет им Н.Е.Жуковского "ХАИ",г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 139-142.
- Формальная верификация программного обеспечения для автоматизации испытаний систем космических аппаратов [Текст] / И.Б. Туркин, Б.Б. Михнич // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2010. — С. 15-23.
- Языково-ориентированное проектирование программного обеспечения для автоматизации стендовых испытаний подсистемы данных платформы спутника мс-2-8 [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 173-176.
|
