• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Шипова Евгения Алексеевна
Формальная верификация алгоритмов проекта "Транспорт по запросу"
Бизнес-информатика
(Бакалавриат)
2015
Данная работа связана связана с формальной верификацией. Формальная верификация это процесс проверки: удовлетворяет ли система заявленным требованиям (свойствам). Целями проекта являются реализация формальной верификации и анализа результатов, то есть проверка работы алгоритмов проекта "Транспорт по запросу". Практическая цель заключается в написание кода моделей и построении графа с помощью инструмента "SpecExplorer", основанной на языке программирования C Sharp.

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

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

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

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

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

Расширенный поиск ВКР