Описание:В спецкурсе рассматривается автоматизированное построение программ на основе трех основных подходов: индуктивного, дедуктивного и трансформационного. Исходными данными для синтеза программы могут быть спецификация, результаты работы программы на различных входных данных, а также программа, которую требуется преобразовать в другую (например, более эффективную по числу операций). Рассматриваются теоретические методы, проблемы, которые возникают при их применении в автоматизированном режиме и возможные варианты их решения.