НОЦ СП. Темы выпускных работ за 2007 год

Темы выпускных работ за 2007 год

Магистерские диссертации

Группа 175
1. Богданов Е. «Управление транзакциями в системах баз данных с поддержкой дублирования и фрагментации данных между узлами». Рук. д.т.н. Кузнецов С.Д.
2. Гетьман А. «Обратный анализ распространения значений переменных в среде Svace». Рук. к.ф.-м.н. Гайсарян С.С.
3. Ким Е. «Интеграция инструментальных средств среды ParJava в среду разработки Eclipse». Рук. к.ф.-м.н. Гайсарян С.С.
4. Костицына И. «Применение формальных методов для верификации узла-корреспондента Mobile IPv6». Рук. д.т.н. Шнитман В.З.
5. Кузнецов А. «Анализ и классификация проблем, возникающих при тестировании электронных схем». Рук. д.ф.-м.н. Петренко А.К.
6. Несов В. «Исследование и реализация метода контекстно-чувствительного анализа потока данных для среды Svace». Рук. к.ф.-м.н. Гайсарян С.С.
7. Хохлов А. «Выделение шаблонов проектирования из исходного кода унаследованных систем». Рук. д.ф.-м.н. Иванников В.П.
8. Гогин А. «Визуализация структур данных в гетерогенной среде». Рук. д.ф.-м.н. Петренко А.К.
9. Горбати Г. «Верификация реализаций протокола LDAP с использованием формальных методов». Рук. д.ф.-м.н. Петренко А.К.

Выпускные квалификационные работы на степень бакалавра

Группа 375
1. Волков А. «Разработка инструментальных средств для спецификации библиотечных функций в среде Svace». Рук. к.ф.-м.н. Гайсарян С.С.
2. Зыбин Р. «Анализ стандарта и создание тестового набора для экспоненциальных функций». Рук. д.ф.-м.н. Петренко А.К.
3. Кошкин А. «Контекстно-чувствительный анализ потока данных на основе символьного анализа в среде Svace». Рук. к.ф.-м.н. Гайсарян С.С.
4. Мерзакреева А. «Реализация потоково-нечувствительного анализа больших программ в среде Svace». Рук. к.ф.-м.н. Гайсарян С.С.
5. Мефодичев В. «Автоматическая генерация элементарных тестов на основе заголовочных файлов». Рук. д.ф.-м.н. Петренко А.К.
6. Пономаренко А. «Анализ стандарта и создание тестового набора для функций Бесселя». Рук. д.ф.-м.н. Петренко А.К.
7. Чернов Е. «Анализ стандарта и создание тестового набора для тригонометрических функций». Рук. д.ф.-м.н. Петренко А.К.
8. Никоненко Д. «Организация системы адаптивного управления содержимым сайта». Рук. д.ф.-м.н. Жданов А.А.

[2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006] [2006-2007]

[2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013] [2013-2014]

[2014-2015]