Questão 720553

• Banca: ESAF
• Órgão: CGU
• Ano: 2008
• Provas: ESAF - 2008 - CGU - Tecnologia da Informação - Desenvolvimento de Sistemas
• Disciplina: Engenharia de Software
• Assuntos: Processos de Software

Um modelo de processo de software é uma representação abstrata de um processo de software. Assinale a opção que identifica um dos modelos de processo de software.

• A. Análise e definição de requisitos.
• B. Projeto de sistemas e de software.
• C. Análise e projeto estruturado.
• D. Análise e projeto orientado a objetos.
• E. Desenvolvimento formal de sistemas.

Gabarito: E

Comentários

• a) Análise e definição de requisitos. b) Projeto de sistemas e de software. --> (a) e (b) são fases do ciclo de vida do processo de desenvolvimento, portanto, se (a) fosse um modelo de processo de software (b) também seria. c) Análise e projeto estruturado. d) Análise e projeto orientado a objetos. --> (c) e (d) são paradigmas de processo de desenvolvimento, portanto, se (c) fosse um modelo de processo de software (c) também seria. e) Desenvolvimento formal de sistemas --> alternativa correta
• Cleanroom => Desenvolvimento formal de sistemas.
• Alguém consegui encontrar alguma referência bibliográfica para esses conceitos? Vejo que em Engenharia de Software existem muitos conceitos escondidos em diversos materiais...
• Desenvolvimento formal de sistemas 
   
  É uma abordagem que tem pontos em comum com o modelo em cascata, mas cujo processo de desenvolvimento tem como base a transformação matemática formal de uma especificação de sistemas em um programa executável

• Desenvolvimento formal de sistemas ou Métodos Formais.