Автоматизация программирования
АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ
Раздел программирования, занимающийся разработкой методов автоматического составления программ и решением задач на ЭВМ по спецификациям, представленным на некотором формальном языке