Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches

Peterson Luiz da R. Rodrigues, Miguel Ecar, Stefane V. Menezes, João Pablo S. da Silva, Gilleanes T. A. Guedes, Elder de M. Rodrigues. Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches. In Proceedings of the XIV Brazilian Symposium on Information Systems, SBSI 2018, Caxias do Sul, Brazil, June 04-08, 2018. ACM, 2018. [doi]

Authors

Peterson Luiz da R. Rodrigues

This author has not been identified. Look up 'Peterson Luiz da R. Rodrigues' in Google

Miguel Ecar

This author has not been identified. Look up 'Miguel Ecar' in Google

Stefane V. Menezes

This author has not been identified. Look up 'Stefane V. Menezes' in Google

João Pablo S. da Silva

This author has not been identified. Look up 'João Pablo S. da Silva' in Google

Gilleanes T. A. Guedes

This author has not been identified. Look up 'Gilleanes T. A. Guedes' in Google

Elder de M. Rodrigues

This author has not been identified. Look up 'Elder de M. Rodrigues' in Google