Магистратура 2023/2024

Формальные методы валидации и верификации моделей

Статус: Курс обязательный (Бизнес-информатика)

Направление: 38.04.05. Бизнес-информатика

Кто читает: Кафедра информационных систем и технологий (Нижний Новгород)

Где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород)

Когда читается: 2-й курс, 2 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Бабкин Эдуард Александрович

Прогр. обучения: Бизнес-информатика

Язык: русский

Кредиты: 3

Контактные часы: 32

Программа дисциплины

Аннотация

В этом учебном курсе студенты изучают общие принципы моделирования, анализа и дизайна сложных систем различной природы на основе единых принципов системного подхода и современных программных технологий, применяемых для многоаспектного моделирования технических и гибридных систем.