Бакалавриат
2024/2025
Научно-исследовательский семинар "Формальные методы в программной инженерии"
Статус:
Курс по выбору (Разработка информационных систем для бизнеса)
Направление:
09.03.04. Программная инженерия
Где читается:
Факультет менеджмента (Пермь)
Когда читается:
3-й курс, 3, 4 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Преподаватели:
Лядова Людмила Николаевна
Язык:
русский
Кредиты:
3
Программа дисциплины
Аннотация
Целью освоения дисциплины Научно-исследовательский семинар "Формальные методы в программной инженерии" является знакомство с научными методами анализа и синтеза информационных систем и их обеспечения. Рассматриваются организации киберфизических систем (CPS), Интернет вещей (IoT), как сквозная технология, платформы для работы с IoT устройствами, средства визуализации данных IoT, методы прикладного анализа данных с устройств IoT, принципы моделирования систем управления, реализации методов управления в CPS.