Tarefa de engenharia de requisitos que examina a especificação para garantir que...

Questão da banca COSEAC aplicada no concurso DATAPREV (2008). Confira a resolução completa abaixo:

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: