Классическая задача программной инженерии — как проектировать программы минимумом усилий, и чтобы они работали быстро и надёжно. Десятки лет эта задача как-то решается минимально удовлетворительно инженерными методами, и только в текущем десятилетии появились качественно новые подходы. Одно из них — это так называемый автоматический синтез программ (program synthesis), когда мы не просто вручную описываем кодом модели реального мира, но и на основе абстрактного описания моделей добираемся до новых научных знаний достаточно прямой логической дорожкой...

Бакалаврская программа «Программная инженерия» направлена на подготовку ведущих технических специалистов, квалифицированных разработчиков и архитекторов программного обеспечения (ПО), менеджеров по качеству программного обеспечения и процессов его разработки. Программа обучения по направлению «Программная инженерия» полностью соответствует международным рекомендациям по преподаванию программной инженерии в высших учебных заведениях Computing Curricula 2005, Computer Science Сurricula 2001/2008/2013...