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

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