Формальные методы анализа бизнес-процессов

ФИО студента: Херувимова Светлана Евгеньевна

Руководитель: Бабкин Эдуард Александрович

Кампус/факультет: Факультет информатики, математики и компьютерных наук (Нижний Новгород)

Программа: Бизнес-информатика (Магистратура)

Оценка: 9

Год защиты: 2015

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

Текст работы (работа добавлена 7 июня 2015 г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ