Tarefa de engenharia de requisitos que examina a especificação para garantir que todos os requisitos do Software tenham sido declarados de modo NÃO ambíguo: