Волковой А.В., Дужий В.И., Шпак А.С., Яновский М.Э.

Под ред. Харченко В.С.

Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2008. – 96 с.

ISSN/ISBN/UDC:  978-966-662-186-6

Изложены  материалы  практической  части  учебного  курса «Многоверсионные системы и технологии для критических приложений» (Multi-version systems and technologies for critical applications), подготовленного  для  магистров  в  рамках  проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Курс  посвящен  изучению  методов  и  средств  разработки  и  оценки многоверсионных  систем. Приводится  учебная  программа  курса,  дается описание  лабораторных  и  практических  работ,  методические рекомендации по самостоятельному изучению материала курса.  
Предназначена  для  студентов  университетов,  обучающихся  по направлениям  компьютерных  наук,  компьютерной  и  программной инженерии,  при  изучении  технологий  проектирования  программных систем  с  использованием  принципа  версионной  избыточности,  а  также может  быть  полезна  для  преподавателей,  ведущих  занятия  по соответствующим курсам.
Ил. 12. Табл. 9. Библиогр.: 14 назв.

--En--

Volkovoy A., Duzhyi V, Shpak A., Yanovsky M. Multi-version systems and technologies for critical applications. Training / Kharchenko V. (edit.). - Department of Education and Science of Ukraine, National aerospace university named after N. Zhukovsky "KhAI", 2008. - 96 p.
ISBN 978-966-662-186-6
 
Practical materials of study course the "Multi-version systems and technologies for critical applications" are expounded in this training textbook prepared for MS-students within the framework of project TEMPUS-MASTAC "MSc  and PhD  Studies in  Aerospace  Critical Computing" (JEP_26008_2005). The course is devoted  to study methods and techniques of development critical software-based systems using multi-version technologies and diversity approach. Course curriculum, description of laboratory works, practical trainings and methodical recommendations for self-sufficient study are given. 
The book is intended for university students learning computer sciences, computer and software engineering, and studying software design technologies with diversity approach as well as for lecturers of
respective courses.
Fig. 12. Tables 9. Ref.: 14 items.