Avaliação Empírica do Método Formal para Especificação de Requisitos em Abordagens Ágeis

• Peterson Rodrigues Universidade Federal do Pampa
• Miguel Ecar Universidade Federal do Pampa
• Stefane V. Menezes Instituto Federal do Rio Grande do Sul
• João Pablo S. da Silva Universidade Federal do Pampa
• Gilleanes T. A. Guedes Universidade Federal do Pampa
• Elder M. Rodrigues Universidade Federal do Pampa

Resumo

Abordagens ágeis são conhecidas através do uso de técnicas informais de elicitação para especificação de requisitos. O uso exclusivo dessas técnicas pode causar alguns problemas, como especificações ambíguas e falta de informações. Neste trabalho, investigamos melhores abordagens para especificar requisitos em projetos ágeis. Assim, foi realizada uma avaliação empírica sobre a aplicabilidade de um método formal como técnica de especificação, utilizando a lógica matemática como possibilidade de resolver limitações de especificação informal. Inicialmente, realizamos uma pesquisa para obter a opinião dos praticantes da equipe ágil. Além disso, realizamos dois estudos de caso separados em duas equipes ágeis para avaliar a aplicabilidade da notação Z na especificação de requisitos. Nossos resultados iniciais apontaram que a especificação formal ajuda a tornar os requisitos complexos mais claros e a diminuir o tempo para entender seus significados.

Palavras-chave: Abordagem ágil, Estudo de caso, Estudos empíricos, Método formal, Especificação formal, Pesquisa