Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
R.Cleaveland M.Vetter
Talks about:
activ (2) uml (2) interconnect (1) determinist (1) diagram (1) semant (1) machin (1) extens (1) state (1) model (1)
Person: Zamira Daw
DBLP: Daw:Zamira
Contributed to:
Wrote 2 papers:
- SEFM-2015-DawC #diagrams #process #semantics #uml
- An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.
- MoDELS-2009-DawV #modelling #process #state machine #uml
- Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.