Como o desenvolvimento orientado a especificações pode assimilar o fator iterativo do ato de programar?

Parece que no spec-driven existe uma expectativa de assertividade na especificação, mas como funciona o fator iterativo do ato de programar?