- Критические для безопасности компьютерные системы, расширенное формальное моделирование, вводный анализ данных, усовершенствованные системы реального времени, внедрение СУБД, шаблонно-ориентированная архитектура программного обеспечения, обновление математики
- Расширенная ИТ-безопасность
- Интеллектуальный анализ данных
- Факультативные программы I: Расширенные распределенные системы или расширенные методы тестирования
- Факультативные программы II: Разработка интерфейса человек-машина или интеллектуальные сенсорные сети < / li>
- Факультативы III: теория систем и моделирование или управление транзакциями
Второй год
- Формальная спецификация и проверка
- HIS проект
- Факультативные курсы IV: методы многомерного анализа данных или моделирования
- Факультативные программы V: стандарты и сертификация, актуальные темы в системах высокой целостности или Интернете вещей
- Факультативные материалы VI : Отдельные темы в современной веб-инженерии, мобильных системах и приложениях или облачных вычислениях
- Магистерская работа
Образовательная организация
Продолжительность программы составляет четыре семестра, с 18 неделями в семестре лекций, семинаров, лабораторий в семестрах от одного до трех. Четвертый семестр посвящен магистерской работе (прикладная исследовательская работа).Формы оценки
Письменные или устные экзамены в конце семестра, беседы на семинарах, обучение для научных публикаций, проекты по разработке программного обеспечения - 5 ECTS за модуль, 10 ECTS для проекта HIS, 30 ECTS для магистратуры дипломная работа и коллоквиумЦели курса
Магистерская программа является полностью аккредитованным учебным планом по компьютерным наукам. Программа открывает двери для широкого спектра областей работы в системах высокой целостности, т.е. критически важных для безопасности областей (например, Интернет вещей, автомобилестроение и машиностроение, химическая промышленность, аэрокосмические системы, биомедицинские технологии) и областей бизнес-процессов (например, ИТ-услуги, банковское дело и финансы, страхование, СМИ). Программа направлена на предоставление основных навыков в разработке и разработке программного обеспечения, системном моделировании и симуляции, информационной безопасности, распределенных системах, СУБД, расширенном тестировании и целостности данных.Требования к языку
Достаточное владение английским языком (например, IELTS 6, TOEFL iBT 79 или эквивалентный). Выпускники программ с преподаванием на английском языке освобождены от уплаты.Академические требования
Степень бакалавра в области компьютерных наук в соответствии с европейскими стандартами или эквивалентХотите улучшить уровень английского для поступления?
Подготовьтесь к требованиям программы с помощью курсов English Online от Британского Совета.
- ✔️ Гибкий график занятий
- ✔️ Опытные преподаватели
- ✔️ Сертификат по окончании курса
📘 Рекомендуется для студентов с уровнем IELTS 6.0 или ниже.