Proposta de uma abordagem para especificação de requisitos baseada em projeto axiomático

Desde as primeiras décadas do surgimento da informática são identificados problemas relativos à definição de requisitos de sistemas de software. Entender o que o cliente espera de um sistema de software é uma das tarefas mais difíceis enfrentadas pelos analistas de negócios e requisitos. Com o objetivo de contornar este problema, foram criadas diversas técnicas de especificação de requisitos, como especificações textuais, casos de uso, etc. Apesar destas técnicas oferecerem resultados promissores na descrição dos requisitos, elas falham na cobertura das necessidades do cliente. Sendo assim, o uso de um método focado no detalhamento e avaliação dos problemas resultaria em um software mais contundentes com as necessidades levantadas. Neste contexto, este trabalho apresenta uma proposta de abordagem para a especificação de requisitos baseada em Projeto Axiomático. Este método consiste de três passos: (1) o mapaemento de problemas, necessidades e requisitos em uma matriz de rastreabilidade, (2) avaliação da matriz segundo o Axioma da Independência e, por fim, (3) a decomposição dos problemas, necessidades e requisitos. Estes passos são repetidos ciclicamente até que se atinja um nível de detalhamento satisfatório. Os resultados dos experimentos atestaram que este método oferece auxílio na elaboração de um conjunto de requisitos de sistema mais consistente