Изучение научных подходов и получение теоретических знаний о методологиях и методах проектирования и разработки программного обеспечения и технологиях и средствах анализа, моделирования и синтеза программных систем, а также приобретение навыков работы с современными средами автоматизированного синтеза