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