Mapping Formal Results Back to UML Semi-formal Model

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]

Authors

Vinícius Pereira

This author has not been identified. Look up 'Vinícius Pereira' in Google

Luciano Baresi

This author has not been identified. It may be one of the following persons: Look up 'Luciano Baresi' in Google

Márcio Eduardo Delamaro

This author has not been identified. Look up 'Márcio Eduardo Delamaro' in Google