Resumo
Este projeto enfoca a etapa de engenharia de requisitos de software, visando a produção de especificações de alta qualidade. Neste contexto, é explorado o método SCR (Software Cost Reduction), que é um método formal para a especificação e validação de sistemas complexos. O principal resultado pretendido é uma ferramenta que apóie os engenheiros de software na utilização do SCR. (AU)