Transformacional

Transformacional

1. Vantagens

   • Software livre de defeitos
   • Garantia de qualidade, devido sua inspeção formal
   • Ênfase em testes do software
   • Elimina problemas como ambiguidade, incompletude e inconsistência

2. Desvantagens

   • Lento e dispendioso
   • O desenvolvedor precisará de um treinamento extensivo

3. Características

   • A especificação dos requisitos é formalmente detalhada matematicamente
   • São utilizados diversos mecanismos para eliminações de erros
   • Aplicações matemáticas precisas (não ambígua) são utilizadas para resolver problemas de ambiguidade, inconclusão e inconsistência
   • É desenvolvido a partir de princípios matemáticos garantindo exatidão em seus resultados
   • Várias descrições intermediárias são produzidas durante o processo
   • Erros são descobertos no desenvolvimento, o que causa iteração
   • Tem variedade de ferramentas automatizadas que facilitam o processo tornando a mais preciso
   • A sequencia de transformações e as decisões que elas refletem são mantidas no desenvolvimentos de modo formal
   • A redução do risco no desenvolvimento é obtida pela eliminação de diversas etapas do desenvolentovimento

4. Estrutura

   • Requisitos do sistema
     • Algumas vezes informais ou incompletos
     • Especificação formal
       • Transformada 4
         • Transformada 3
           • Transformada 2
             • Transformada 1
         • Transformada N
           • Registro de desenvolvimento formal
             • Sequencia de transformações mais racionais para eles
         • Teste
           • Sistema entregue
       • Compare com os requisitos
       • Atualize quando necessário

5. Grupo

   • Natanael
   • Kevin
   • Phelipe
   • Luis

6. Definição

   • Modelo transformacional abrange um conjunto de atividades que levam a uma especificação matemática formal do software
   • Neste modelo a especificação dos requisitos é formalmente detalhada matematicamente

7. V&V

   • São usadas para determinar as atividades que levam a iteração
     • Verificação
       • Estamos construindo o produto corretamente?
     • Validação
       • Estamos construindo o produto certo？