Languages

Технологии программирования




Программное обеспечение вычислительных сетей

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

Научный руководитель: профессор, д.ф.-м.н. А.К.Петренко

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

Учебный план

Дисциплина 1
семестр
2
семестр
3
семестр
4
семестр
ч/н   ч/н   ч/н   ч/н  
Иностранный язык 4 зач 4 экз        
Правоведение     4 экз        
Русский язык, деловое общение 2 экз            
Суперкомпьютерное моделирование и технологии         4 экз    
История и методология прикладной математики         2 зач    
Современная философия и методология науки 2 экз            
Межфакультетские курсы по выбору 2 зач 2 зач        
Параллельные вычисления 4 экз             
Компьютерные сети и телекоммуникации (дополнительные главы)  3  экз            
Объектно-ориентированный анализ и проектирование  3  экз            
Формальные методы разработки программ      3  экз        
Верификация моделей программ      3  экз        
Теория игр и исследование операций          2  экз    
Тестирование программного обеспечения          3  экз    
Анализ кода и надёжность программ          3  экз    
Технологии программирования для параллельных архитектур              4  экз
Производительность программных систем (на английском языке)              2 зач
Дисциплина по выбору из списка     2 экз  2  экз  2  зач
Спецсеминар "Технологии программирования" 2 зач  2  зач  2  зач  2  зач
Научно-исследовательская работа               оценка
Курсовая работа       оценка        
часов 22   20   18   10  
зачетов   3   2   4   2
экзаменов   5   5   4   4
Защита магистерской диссертации               оценка
Государственный экзамен по направлению               оценка

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