Новости
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
17 Февраля, 2025
Конкурс на замещение должности
Темы выпускных работ за 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]