Questão 129979

• Banca: CESPE / CEBRASPE
• Órgão: SERPRO
• Ano: 2008
• Provas: CESPE - 2008 - SERPRO - Analista - Desenvolvimento de Sistemas
• Disciplina: Engenharia de Software
• Assuntos: Metodologia de desenvolvimento de software

Considerando os modelos do ciclo de vida de software, julgue os
itens que se seguem.

Para a especificação de software e verificação de sistemas, uma alternativa que se fundamenta na matemática discreta e na lógica é o modelo incremental.

• C. Certo
• E. Errado

Gabarito: E

Comentários

• Metodos formais são baseados na matemática discreta.
• Algué sabe porque a questÃo foi anulada??
  
  Como o colega acima citou, a alternativa descreve metodos formais, ou seja, a resposta é  ERRADO. Não vi nenhum problema no enunciado...