Главная страница « Информация « Магистратура «

Магистерская программа «Технологии программирования»


Руководитель программы: профессор, доктор ф.-м. наук Петренко А. К.
Целью магистерской программы является подготовка магистров, специализирующихся по методам, технологиям и инструментам поддержки жизненного цикла программ, который включает в себя сбор и анализ требований, моделирование и проектирование программ, их тестирование и верификацию. Магистерская программа предусматривает освоение методов объектно-ориентированного анализа и проектирования, методов аналитической верификации программ и верификации программ на их моделях, анализа производительности и функционирования программ, а также методов тестирования и поиска ошибок в программах.

Учебный план


Учебный план обучения в магистратуре строится из общей части (одинаковой для всех магистерских программ всех потоков), и вариативной части, в которой разные магистерские программы расходятся. Вариативная часть учебного плана содержит в себе уникальные дисциплины, обучение по которым ведётся в только рамках одной программы, а также специальные дисциплины, часть из которых читается преподавателями кафедры системного программирования, часть — преподавателями других кафедр. Среди дисциплин вариативной части есть блок дисциплин по выбору. В рамках этого блока в программе предлагается список курсов, из которого обучающиеся сами выбирают дисциплины для обучения. Часть этих дисциплин читается преподавателями кафедры системного программирования, остальные — преподавателями других кафедр в рамках других магистерских программ.

Осенний семестр 1-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
Объектно-ориентированный анализ и проектирование. Лекционный курс с экзаменом, семинарами и практическими заданиями по UML-моделированию. В курсе рассматриваются современные методы и средства анализа и проектирования программного обеспечения, основанные на применении объектно-ориентированного подхода и унифицированного языка моделирования, а также их практическое использование.
Спецсеминар (зачёт). К магистерской программе относятся спецсеминары «Корректность программ», «Управление данными и информационные системы», «Интернет, распределенные информационные системы и цифровые библиотеки».
Специальные дисциплины:
Параллельные вычисления. Курс кафедры СКИ с экзаменом.
Компьютерные сети и телекоммуникации (дополнительные главы). Курс кафедры АСВК с экзаменом.
Дисциплины общей части:
Иностранный язык (зачёт).
Современная философия и методология науки (экзамен).
Межфакультетский курс по выбору (зачёт).

Весенний семестр 1-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
Формальные методы разработки программ. Лекционный курс с экзаменом, семинарами и практическими заданиями. Курс знакомит слушателей с различными методами разработки программ, основывающиеся на строгих (rigorous) и формальных (formal) моделях, позволяющих обеспечить высокое качество программ. Более подробно рассматриваются методы формальной спецификации и верификации программ на языке Си.
Верификация моделей программ. Лекционный курс с экзаменом, семинарами и практическими заданиями. В курсе рассматриваются моделирование программ и формализация требований, спецификация и верификация параллельных программ, язык Promela и инструмент проверки моделей Spin, моделирование программ структурами Крипке, Автоматы Бюхи и ω-регулярные языки, дополнительные вопросы верификации моделей программ.
Спецсеминар (зачёт).
Специальная дисциплина:
Дисциплина по выбору. Лекционный курс с экзаменом.
Дисциплины общей части:
Иностранный язык (экзамен).
Правоведение (экзамен).
Межфакультетский курс по выбору (зачёт).
В конце первого года магистратуры защищается курсовая работа.

Осенний семестр 2-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
Тестирование программного обеспечения. Лекционный курс с экзаменом, семинарами и практическими заданиями. Он знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются как классические техники построения тестов, использующие конечные автоматы и комбинаторные схемы, так и более пригодные для систем реальной сложности интегрированные подходы. Разбираются различные техники организации тестовых наборов, понятие полноты тестирования и различные критерии полноты. Слушатели получают базовые знания в тестировании на основе моделей — новой, динамично развивающейся области на границе между теоретической информатикой и программной инженерией, а также представление о практических приложениях этого подхода.
Спецсеминар (зачёт).
Специальные дисциплины:
Теория игр и исследование операций. Курс кафедры ИО с экзаменом.
Анализ кода и надёжность программ. Лекционный курс кафедры СП с экзаменом, семинарами и практическими заданиями. Курс посвящён проблемам надёжности, возникающим на ключевых этапах жизненного цикла ПО. Рассматриваются особенности разработки и отладки программ, а также методы изучения программ в отсутствии исходных кодов.
Дисциплина по выбору. Лекционный курс с зачетом.
Дисциплины общей части:
Суперкомпьютерное моделирование и технологии. Курс кафедры СКИ с экзаменом.
История и методология прикладной математики. Курс кафедры АСВК с зачётом.
Межфакультетский курс по выбору (зачёт).
Научно-исследовательская работа (зачёт).

Весенний семестр 2-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
Технологии программирования для параллельных архитектур. Лекционный курс с экзаменом, семинарами и практическими заданиями. В данном курсе будут рассмотрены параллельные модели и соответствующие им программные реализации. Студенты получат теоретические и практические знания о проблемах и сложностях параллельного программирования, существующих решениях, способах отладки и оптимизации программ. Акцент будет сделан на системную составляющую и организацию работы, а не конкретные технологии. Курс подкреплён практикумом с использованием современных технологий. Аналогом является курс института Беркли CS267 (Applications of Parallel Computers).
Производительность программных систем. Лекционный курс на английском языке с зачётом.
Спецсеминар (зачёт).
Специальная дисциплина:
Дисциплина по выбору. Лекционный курс с экзаменом.
Дисциплины общей части:
В конце второго года магистратуры выполняется преддипломная практика, защищается магистерская диссертация и сдаётся государственный экзамен.

Список курсов, предлагаемых как дисциплины по выбору:
Методы интеллектуального анализа данных. Курс кафедры АСВК.
Компьютерная алгебра. Курс кафедры АЯ.
Модель данных SQL. Курс кафедры СП. Детально рассматривается язык SQL: его структура, типы данных SQL, средства определения, изменения определения и отмены определения доменов, неявные и явные преобразования типа или домена, средства определения базовых таблиц и ограничений целостности, структура оператора выборки и его разделов.
Анализ текстовых данных и информационных ресурсов. Курс кафедры АЯ.
Введение в информационную безопасность. Курс кафедры АСВК.
Облачные вычисления и виртуализация информационных ресурсов. Курс кафедры АСВК.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 24.2.2015