для магістрів на базі бакалавра
«Комп'ютерна інженерія»
та інших комп'ютерних бакалавратів

(Навчання англійською мовою, з можливістю отримання диплома
Національного аерокосмічного університету «ХАІ»
та об'єднаного диплома ХАІ й City University London, UK)

Перелік основних курсів, які викладаються в рамках спеціалізації «Критичний комп'ютинг»:

1) Software Quality Assessment and Expertise;
2) Dependable Systems, Networks and Services;
3) Fault-Tolerant Embedded PLD-systems;
4) Multi-version Systems and Technologies for Critical Applications.
5) Modeling of Dependable Systems and Networks;
6) Formal Methods of Critical Software Development and others.

Спеціалізація підготовлена на базі проекту TEMPUS-MASTAC «MS- and PhD-Studies on Critical Computing» TEMPUS-MASTAC (www.mastac.org.ua)
Проект виконаний протягом 2006-2009 років кафедрою комп'ютерних систем і мереж Національного аерокосмічного університету «ХАІ» спільно з університетами Великобританії (Newcastle University, City University, London), Фінляндії (Abo Academy, Turku, кафедри системного програмування Хмельницького національного університету за підтримки національних індустріальних партнерів (НТ СКБ «Полісвіт»).

Для отримання додаткової інформації з даного питання звертайтеся за адресою:

Національний аерокосмічний університет «ХАІ»
Кафедра комп'ютерних систем і мереж (503)
Науково-технічний центр гарантоздатних систем, сервісів і технологій
Адреса: вул. Чкалова, 17, м. Харків, Україна, 61070
Тел.: +380 (057) 707-45-03
Факс: +380 (057) 707-45-03
E-mail: V.Kharchenko@khai.edu