Existe uma técnica que produz código, baseada em requisitos não detalhados em toda a sua extensão, utilizada para contribuir com a especificação de requisitos. Essa técnica é denominada