Информация для студентов (2017-2018 учебный год)

Темы магистерских диссертаций

  • InProgressИспользование методов машинного обучения для поиска клонов в исходном коде ПО (Зорин А.)
  • InProgressАвтоматизация обнаружения нарушений правил использования библиотек (Гусев М.)
  • InProgressМобильная среда быстрой разработки для языка Kotlin (Чеботарев Г.)

Темы магистерских диссертаций и бакалаврских работ и темы НИР

  • Контрактное программирование для Kotlin
  • Веб-портал для хранения спецификаций библиотек
  • Верификация и анализ смарт-контрактов в технологии Blockchain
  • Мобильная среда разработки ПО с голосовым управлением
  • Эксперименты с технологией Blockchain
  • Автоматизация рефакторинга клонов программного кода
  • Исследования в области автоматизации решения логических задач
  • Использование машинного обучения в задачах программной инженерии

Темы рефератов ТРПО (5 курс, осень)

  • InProgressОбзор технологий Blockchain (Головачева В.)
  • InProgressОбзор смарт-контрактов в рамках технологии Blockchain (Туренко А.)

Информация для студентов (2016-2017 учебный год)

Темы магистерских диссертаций

  • Ok Аспектно-ориентированное расширение для Kotlin (Б. Скрипаль)
  • Ok Автоматизация миграции Java-программ на новый набор библиотек (А. Алексюк)

Темы рефератов ТРПО (5 курс, весна)

  • Сравнительный анализ JVM-языков
  • InProgressОбзор методологии Microsoft Solutions Framework (Васильев)
  • Сравнительный анализ языков Kotlin и Swift
  • Сравнительный анализ современных систем непрерывной интеграции
  • InProgressСравнительный анализ современных средств управления Agile-проектами (Бушин)
  • Основные механизмы параллельного программирования, применяемые в современных языках программирования. Сравнительный анализ
  • Язык программирования F#. Основные особенности и сравнение с конкурентами
  • Сравнение современных систем аудита исходного кода (Code review) (Минь Фам)
  • Сравнительный анализ современных онлайн web-средств подготовки Latex-документов (Родина)

Информация для студентов (2015-2016 учебный год)

Темы бакалаврских работ (4 курс)

  • InProgress AOP для языка Kotlin (А. Сочнев)

Темы рефератов ТРПО (6 курс, весна)

  • Система RAISE и язык RSL (Матлаш)
  • Z-нотация и ее использование для спецификации ПО (Саитов)
  • VDM и его использование для спецификации ПО (Кондюков)

Информация для студентов (2014-2015 учебный год)

Темы рефератов ТРПО (5 курс, весна)

  • InProgressСравнительный анализ языков Rust и Go как замены С/C++. Ломтев Д.
  • InProgressОбзор современных средств и языков логического программирования. Малинов Д.В.
  • InProgressАналитический обзор современных подходов к параллельному программированию. Хазан Н.
  • InProgressСовременное состояние средств визуального проектирования. Руднев И.
  • InProgressСовременное состояние средств визуального программирования. Майоров А.
  • Облачные средства разработки и отладки приложений
  • Альтернативные языки программирования, совместимые с JVM

Темы НИР (5 курс)

  • InProgressФронт-энд для системы проверки модели NuSMV. Графический редактор + визуализатор. Бусаров + Патраков.
  • TBD

Темы магистерских диссертаций (6 курс)

  • InProgressРазвитие среды для анализа и верификации программ на языке Java (Зайцев Р.)
  • OkПаттерны ... (Егорова И.)
  • Портирование программ в CUDA (Дробович Ю.)
  • Трансформация программ TXL
  • Работы в области извлечения знаний из программных репозиториев (TBD)
  • RAISE (TBD)

Темы рефератов ТРПО (5 курс)

  • ОкМетоды оценки стоимости программных проектов. Лысенко К.
  • ОкОбзор средств автоматизации Agile-проектов. Хазан Н.
  • ОкАвтоматизированные средства аудита программного кода. Майоров А.
  • ОкОбзор и сравнение онлайн-средств создания документации. Ломтев Д.
  • ОкСравнительный анализ методов оценки зрелости процесса разработки ПО. Пирогов Р.
  • ОкОбзор и сравнительный анализ гибких методологий проектирования ПО. Пономарев.
  • ОкОбзор и сравнительный анализ Web-средств управления программными проектами. Макаров.
  • ОкОбзор и сравнительный анализ порталов хостинга программных проектов. Малинов.
  • ОкОбзор и сравнительный анализ развития современных языков программирования. Руднев.

Темы бакалаврских работ (4 курс)

  • Ок Развитие языка описания логических задач (К. Назарова)
  • Фронт-энд для NuSMV (TBD)

Информация для студентов (2013-2014 учебный год)

Темы магистерских диссертаций (6 курс)

  • ОкСреда для анализа и верификации программ на языке Java (Половцев А.)
  • ОкАппроксимация функций с помощью интерполянтов Крейга(Колтон С. )
  • Развитие языка описания логических задач (фронт-энд для солверов)
  • Работы в области извлечения знаний из программных репозиториев (TBD)
  • Фронт-энд для NuSMV (TBD)
  • RAISE (TBD)

Темы рефератов ТРПО (5 курс)

  • Методология BDD (Котов)
  • Обзор и анализ современных open-source средств управления требованиями (Морин)
  • Обзор современных гибких методологий разработки ПО: Lean software development, Feature driven development, Kanban и т.п. (Могуянов А.)
  • Обзор методологии Microsoft Solutions Framework (Ковчик)
  • ОкОбзор и анализ средств автоматизации проведения аудита программного кода. Темников П.

Информация для студентов (2012-2013 учебный год)

Темы магистерских диссертаций (6 курс)

  • ОкСпециализированный язык для задания правил вычисления программных метрик (П. Ларионов)
  • ОкАвтоматизация верификации Java-программ (И. Анкудинова)
  • ОкСинтез тестов ПО на основе анализа исходного текста программ и контрактов (А. Андрианова)
  • ОкАвтоматизация трансформации программ (П. Баун)

Темы НИР (5 курс)

  • Плагин для встраивания в IDE Netbeans (или Eclipse) возможностей работы с языком частичных спецификаций PanLang
  • Плагин для среды Netbeans (или Eclipse), обеспечивающий поддержку работы с языком Promela (верификатор SPIN)
  • Фронт-энд для системы проверки на модели NuSMV. Графический редактор + визуализатор (Колтон С.)
  • Эксперименты с преобразованием программ с помощью языка TXL. Тема уточняется (Хозяинов И.)
  • TBD ...

Темы рефератов

  • Обзор языков и средств формальной спецификации программных систем (Вильчинская О.)
  • Обзор современных средств автоматизации тестирования ГПИ (Брагин П.)
  • Обзор и анализ современных open-source средств управления требованиями (Залеский А.)
  • BDD (Зайченко Е.)
  • DocBook (Хозяинов И.)
  • CMMI (Бойцев А.)

Информация для студентов (2011-2012 учебный год)

Темы бакалаврских работ (4 курс)

  • ОкПредметно-ориентированный язык (SMT-LIB фронт-энд) для решения логических задач. Е. Зайченко
  • ОкСреда редактирования и визуализации решения логических задач. В. Галузин
  • Синтез тестов на основе контрактов для языка Eiffel
  • Плагин для встраивания в IDE Netbeans (или Eclipse) возможностей работы с языком частичных спецификаций PanLang
  • Плагин для среды Netbeans (или Eclipse), обеспечивающий поддержку работы с языком Promela (верификатор SPIN)

Темы дипломных работ (6 курс)

  • ОкАвтоматизация синтеза модульных тестов на основе контрактов (JML). А. Сборников

Темы магистерских диссертаций (6 курс)

  • ОкАвтоматизация верификации Java-программ. Н. Галкина

Темы НИР (5 курс)

  • Разработка Web-приложения, обеспечивающего полнофункциональный интерфейс к статическому анализатору Aegis
  • ОкРазработка системы конфигурационного управления программными проектами. (П. Баун)
  • ОкСпециализированный язык для задания правил вычисления программных метрик (П. Ларионов)
  • ОкСинтез тестов на основе анализа Java-программ (И. Анкудинова)
  • Синтез тестов на основе контрактов для языка Eiffel (Е. Шутов)