1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Zamira Daw, Rance Cleaveland
This paper presents an operational semantics for UML activity diagrams. The purpose of this semantics is three-fold: to give a robust basis for verifying model correctness; to help…