Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Темы выпускных работ за 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]