Languages

Home

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




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

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

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

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

Учебный план

Дисциплина 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
 ÐÐ½Ð°Ð»Ð¸Ð· текстовых данных и информационных ресурсов
 Ð’ведение в информационную безопасность
 ÐžÐ±Ð»Ð°Ñ‡Ð½Ñ‹Ðµ вычисления и виртуализация информационных ресурсов