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

Бакалавриат 2023/2024

Статус: Курс по выбору (Программная инженерия)

Направление: 09.03.04. Программная инженерия

Кто читает: Департамент программной инженерии

Где читается: Факультет компьютерных наук

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

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

Охват аудитории: для своего кампуса

Преподаватели: Ломазова Ирина Александровна

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

Кредиты: 3

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

Полная версия программы учебной дисциплины

Аннотация

Научно-исследовательский семинар "Автоматы и модели процессов" преподается студентам 1 курса образовательной программы «Программная инженерия». Курс направлен на формирование у студентов теоретических знаний о различных формализмах для моделирования параллельных и распределенных процессов в программных системах, а также практических навыков моделирования процессов и анализа их поведенческих свойств. Эти знания и навыки могут применяться для обеспечения корректности и надежности разрабатываемого программного обеспечения. Участие в семинаре поможет студентам получить опыт самостоятельной работы с учебной и научной литературой, ведения самостоятельного исследования, проектной работы, представления результатов своей работы на научном семинаре, участия в обсуждениях и дискуссиях.

Цель освоения дисциплины

формирование у студентов теоретических знаний в области формальных моделей процессов и практических навыков анализа поведенческих свойств систем

Планируемые результаты обучения

Уметь проводить аналогии между формальными моделями
Знать основные подходы, использующиеся при моделировании и анализе процессов, назначение тех или иных методов анализа систем и область их применения
Иметь навыки анализа моделей бизнес-процессов, представленных на языках высокого уровня, с точки зрения формальных моделей, лежащих в их основе, ведения самостоятельных исследований, выступлений с научными докладами