Research Seminar "Formal Methods in Software Engineering"

2022/2023

Academic Year

RUS

Instruction in Russian

3

ECTS credits

Delivered at:

Department of Information Technologies in Business (Faculty of Computer Science, Economics, and Social Sciences)

Course type:

Elective course

When:

3 year, 1-3 module

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

Аннотация

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