An Extensible Operational Semantics for UML Activity Diagrams

Zamira Daw, Rance Cleaveland. An Extensible Operational Semantics for UML Activity Diagrams. In Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Volume 9276 of Lecture Notes in Computer Science, pages 360-368, Springer, 2015. [doi]

Authors

Zamira Daw

This author has not been identified. Look up 'Zamira Daw' in Google

Rance Cleaveland

This author has not been identified. Look up 'Rance Cleaveland' in Google