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