Научно-исследовательский семинар "Формальные методы в программной инженерии"

2024/2025

Учебный год

RUS

Обучение ведется на русском языке

3

Кредиты

Кто читает:

Кафедра информационных технологий в бизнесе (Пермь) (Факультет социально-экономических и компьютерных наук)

Статус:

Курс по выбору

Когда читается:

3-й курс, 3, 4 модуль

Преподаватель

Лядова Людмила Николаевна

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

Аннотация

Целью освоения дисциплины Научно-исследовательский семинар "Формальные методы в программной инженерии" является знакомство с научными методами анализа и синтеза информационных систем и их обеспечения. Рассматриваются организации киберфизических систем (CPS), Интернет вещей (IoT), как сквозная технология, платформы для работы с IoT устройствами, средства визуализации данных IoT, методы прикладного анализа данных с устройств IoT, принципы моделирования систем управления, реализации методов управления в CPS.