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

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

• Контрактное программирование для Kotlin

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