Руководитель программы: профессор, доктор ф.-м. наук Петренко А. К.
Целью магистерской программы является подготовка магистров, специализирующихся по методам, технологиям и инструментам поддержки жизненного цикла программ, который включает в себя сбор и анализ требований, моделирование и проектирование программ, их тестирование и верификацию. Магистерская программа предусматривает освоение методов объектно-ориентированного анализа и проектирования, методов аналитической верификации программ и верификации программ на их моделях, анализа производительности и функционирования программ, а также методов тестирования и поиска ошибок в программах.
|
Учебный план обучения в магистратуре строится из общей части (одинаковой для всех магистерских программ всех потоков), и вариативной части, в которой разные магистерские программы расходятся. Вариативная часть учебного плана содержит в себе уникальные дисциплины, обучение по которым ведётся в только рамках одной программы, а также специальные дисциплины, часть из которых читается преподавателями кафедры системного программирования, часть — преподавателями других кафедр. Среди дисциплин вариативной части есть блок дисциплин по выбору. В рамках этого блока в программе предлагается список курсов, из которого обучающиеся сами выбирают дисциплины для обучения. Часть этих дисциплин читается преподавателями кафедры системного программирования, остальные — преподавателями других кафедр в рамках других магистерских программ.
Осенний семестр 1-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Объектно-ориентированный анализ и проектирование. Курс кафедры СП. В курсе рассматриваются современные методы и средства анализа и проектирования программного обеспечения, основанные на применении объектно-ориентированного подхода и унифицированного языка моделирования, а также их практическое использование.
• Спецсеминар
Специальные дисциплины:
• Параллельные вычисления (курс кафедры СКИ)
• Компьютерные сети и телекоммуникации (дополнительные главы) (курс кафедры АСВК)
Дисциплины общей части:
• Иностранный язык
• Русский язык. Деловое общение
• Современная философия и методология науки
• Межфакультетский курс по выбору
Весенний семестр 1-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Формальные методы разработки программ. Курс кафедры СП. Курс знакомит слушателей с различными методами разработки программ, основывающиеся на строгих (rigorous) и формальных (formal) моделях, позволяющих обеспечить высокое качество программ. Более подробно рассматриваются методы формальной спецификации и верификации программ на языке Си.
• Верификация моделей программ. Курс кафедры СП. В курсе рассматриваются моделирование программ и формализация требований, спецификация и верификация параллельных программ, язык Promela и инструмент проверки моделей Spin, моделирование программ структурами Крипке, Автоматы Бюхи и ω-регулярные языки, дополнительные вопросы верификации моделей программ.
• Спецсеминар
Специальная дисциплина:
• Дисциплина по выбору
Дисциплины общей части:
• Иностранный язык
• Правоведение
• Межфакультетский курс по выбору
В конце первого года магистратуры защищается курсовая работа.
Осенний семестр 2-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Тестирование программного обеспечения.Курс кафедры СП. Он знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются как классические техники построения тестов, использующие конечные автоматы и комбинаторные схемы, так и более пригодные для систем реальной сложности интегрированные подходы. Разбираются различные техники организации тестовых наборов, понятие полноты тестирования и различные критерии полноты. Слушатели получают базовые знания в тестировании на основе моделей — новой, динамично развивающейся области на границе между теоретической информатикой и программной инженерией, а также представление о практических приложениях этого подхода.
• Спецсеминар
Специальные дисциплины:
• Теория игр и исследование операций (курс кафедры ИО)
• Анализ кода и надёжность программ (курс кафедры СП). Курс посвящён проблемам надёжности, возникающим на ключевых этапах жизненного цикла ПО. Рассматриваются особенности разработки и отладки программ, а также методы изучения программ в отсутствии исходных кодов.
• Дисциплина по выбору
Дисциплины общей части:
• Суперкомпьютерное моделирование и технологии (курс кафедры СКИ)
• История и методология прикладной математики (курс кафедры АСВК)
• Межфакультетский курс по выбору
• Научно-исследовательская работа
Весенний семестр 2-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Технологии программирования для параллельных архитектур. Лекционный курс с экзаменом, семинарами и практическими заданиями. В данном курсе будут рассмотрены параллельные модели и соответствующие им программные реализации. Студенты получат теоретические и практические знания о проблемах и сложностях параллельного программирования, существующих решениях, способах отладки и оптимизации программ. Акцент будет сделан на системную составляющую и организацию работы, а не конкретные технологии. Курс подкреплён практикумом с использованием современных технологий. Аналогом является курс института Беркли CS267 (Applications of Parallel Computers).
• Производительность программных систем (курс кафедры СП на английском языке)
• Спецсеминар
Специальная дисциплина:
• Дисциплина по выбору
Дисциплины общей части:
В конце второго года магистратуры выполняется преддипломная практика, защищается магистерская диссертация и сдаётся государственный экзамен.
Список курсов, предлагаемых как дисциплины по выбору, уточняется и публикуется каждый год.
|