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]
Abstract is missing.