Vinícius Pereira, Luciano Baresi, Márcio Eduardo Delamaro. Mapping Formal Results Back to UML Semi-formal Model. In Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente, editors, ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015. pages 320-329, SciTePress, 2015. [doi]
@inproceedings{PereiraBD15,
title = {Mapping Formal Results Back to UML Semi-formal Model},
author = {Vinícius Pereira and Luciano Baresi and Márcio Eduardo Delamaro},
year = {2015},
doi = {10.5220/0005372603200329},
url = {http://dx.doi.org/10.5220/0005372603200329},
researchr = {https://researchr.org/publication/PereiraBD15},
cites = {0},
citedby = {0},
pages = {320-329},
booktitle = {ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015},
editor = {Slimane Hammoudi and Leszek A. Maciaszek and Ernest Teniente},
publisher = {SciTePress},
isbn = {978-989-758-097-0},
}