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]
@inproceedings{RodriguesEMSGR18,
title = {Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches},
author = {Peterson Luiz da R. Rodrigues and Miguel Ecar and Stefane V. Menezes and João Pablo S. da Silva and Gilleanes T. A. Guedes and Elder de M. Rodrigues},
year = {2018},
doi = {10.1145/3229345.3229401},
url = {https://doi.org/10.1145/3229345.3229401},
researchr = {https://researchr.org/publication/RodriguesEMSGR18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the XIV Brazilian Symposium on Information Systems, SBSI 2018, Caxias do Sul, Brazil, June 04-08, 2018},
publisher = {ACM},
isbn = {978-1-4503-6559-8},
}