Синтезирующее программирование: основные понятия и термины

Синтезирующее программирование - программирование, предполагающее синтез программы по ее спецификации.