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

Темы ВКР бакалавров

• Извлечение LibSL-спецификаций из исходного кода библиотек. Владислав Феофилактов
• Блокнот преподавателя. Дарья Викторова.
• Система фиксации посещаемости. Валерий Высоцкий.
• Портал для демонстрации возможностей инструментов анализа программ. Эльвин Шахбазов
• Конфигуратор презентаций. Елизавета Шушакова
• LibSL для языка C. Павел Антунович
• Libsl для стандартной библиотеки Java. Дмитрий Гасилов
• Динамическое извлечение сценариев использования библиотек на основе анализа GitHub . Юлия Чекулаева
• Статическое извлечение сценариев использования библиотек на основе анализа GitHub. Валерий Кечин

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

Темы ВКР бакалавров

• Разработка модуля редактирования LibSL-файлов для репозитория спецификаций (на основе ВКР 2021 года)
• Расширение функциональности веб-редактора DocBook-файлов: wysiwyg-редактирование, поддержка форматов Markdown, Latex и т.п. (на основе ВКР магистра 2021 года)
• Интерактивный визуализатор моделей программ
• Система интеллектуальной рассылки сообщений студентам (TBD)

Темы ВКР магистров

• Случайное тестирование приложений с использованием формальных спецификаций библиотечного окружения(Черный В.)

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

Темы магистерских диссертаций и выпускных работ бакалавра

• Веб-портал для хранения спецификаций библиотек (Медведева Е.)
• Плагин голосового управления для среды разработки ПО (IntelliJ Idea) (Орлова П.)
• Визуализация поведения Java/Kotlin-программ (Морозов Е.)
• Фронт-энд для NuSMV (Черникова А.)
• БД на событиях (TBD) (Товпеко К.)

Темы ВКР магистров

• Динамическая проверка корректности использования библиотек (Михалева М. )

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

Темы магистерских диссертаций и выпускных работ бакалавра

• Генератор систем автоматизации инструментирования программ (Онищук М., M)
• Веб-портал для хранения спецификаций библиотек
• Динамическая проверка корректности использования библиотек
• Мобильное приложение "Рабочий офис НПР" (Покатило П., M)
• Генератор шаблонов учебных отчетов (лабораторные работы, курсовые проекты, выпускные работы)

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

Темы магистерских диссертаций и выпускных работ бакалавра

• Мобильная среда быстрой разработки для языка Kotlin
• Система автоматизации инструментрования программ на языке Java (Kotlin) (Сафонов Семен)
• Веб-портал для хранения спецификаций библиотек
• Динамическая проверка корректности использования библиотек

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

• Верификация и анализ смарт-контрактов в технологии Blockchain (Мурзин Руслан)
• Мобильная среда разработки ПО с голосовым управлением
• Автоматизация рефакторинга клонов программного кода

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

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

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

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

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

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

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

Темы рефератов по "Основам профессиональной деятельности" (1 курс, осень)

• Обзор методов сортировки массивов
• Алгоритм Ахо — Корасик поиска в строке
• Алгоритм Беллмана-Форда поиска кратчайшего пути в графе
• Алгоритмы Брезенхэма для аппроксимации отрезка и окружности
• Обзор алгоритмов поиска подстроки в строке
• Обзор алгоритмов поиска кратчайшего пути в графе
• Алгоритм Бойера—Мура поиска подстроки в строке
• Алгоритм быстрой сортировки массива (Quick Sort)
• Алгоритм Дейкстры поиска кратчайшего пути в графе
• Алгоритм поиска путей A*
• Алгоритм Кнута—Морриса—Пратта поиска подстроки в строке
• Регулярные выражения и их применение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Развитие среды для анализа и верификации программ на языке Java (Зайцев Р.)
• Паттерны ... (Егорова И.)
• Портирование программ в 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 (Е. Шутов)