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