Информация для студентов (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 (Е. Шутов)
Обновлено: 12.09.2021 23:11