29 citations · 40 across the 13 of their papers we have counts for
1 paper · 2 filters
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…