Rodrigues, P., Ecar, M., Menezes, S., Silva, ., Guedes, G., & Rodrigues, E. 2018 nov 30. Avaliação Empírica do Método Formal para Especificação de Requisitos em Abordagens Ágeis . Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI). [Online] :