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


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

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


Группа 775
1. Бажан А.А. «Разработка инфраструктуры совместного доступа к данным для системы STEP-ориентированных программных средств». Руководитель: д.ф.-м.н. Семенов В.А.
2. Минервин К.В. «Исследование применимости платформы Microsoft.NET для параллельных вычислений». Руководитель: к.ф.-м.н. Калинов А.Я.
3. Кучин И. «Исследование процесса диспетчеризации задач на фрагменте российского сегмента распределенной вычислительной среды GRID на примере алгоритма сравнительного анализа нуклеидных последовательностей (BLAST)». Руководитель: д.т.н. Кузнецов С.Д.
4. Ратчин Ю.Е. «Применение генетических алгоритмов для синтеза элементов системы автономного адаптивного управления». Руководитель: д.ф.-м.н. Жданов А.А.
5. Толстов Е.В. «Исследование роли протокола LDAP в современном мире и его использование для построения информационных систем». Руководитель: д.т.н. Шнитман В.З.

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


Группа 975
1. Власов К.А. «Разработка расширений языка описания системы команд ISE». Руководитель: к.ф.-м.н. Гайсарян С.С.
2. Зевако Ф.А. «Тестирование на основе формальных спецификаций в технологии UniTesK на примере системы управления библиотекой». Руководитель: д.ф.-м.н. Петренко А.К.
3. Леонтьев Г.А. «Расчет производительности параллельной программы на различных вычислительных системах». Руководитель: к.ф.-м.н. Гайсарян С.С.
4. Михеев А.С. «Разработка программы визуального описания системы команд». Руководитель: к.ф.-м.н. Гайсарян С.С.
5. Монахов А.А. «Технология создания инструментов обработки формальных тестов». Руководитель: д.ф.-м.н. Петренко А.К.
6. Новиков А.С. «Тестирование на основе формальных спецификаций в технологии UniTesK на примере системы учета в бакалейной лавке». Руководитель: д.ф.-м.н. Петренко А.К.
7. Павлюкова А.В. «Тестирование на основе формальных спецификаций в технологии UniTesK на примере информационного табло по состоянию авиарейсов». Руководитель: д.ф.-м.н. Петренко А.К.
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]