Travelled to:1 × Italy
1 × Uruguay
Collaborated with:A.G.Garis A.Cunha A.C.R.Paiva
Talks about:alloy (2) uml (2) translat (1) protocol (1) specifi (1) diagram (1) specif (1) machin (1) state (1) class (1)
Person: Daniel Riesco
DBLP: Riesco:Daniel
Contributed to:
2012
2011Wrote 2 papers:
- IFM-2012-GarisPCR #alloy #protocol #specification #state machine #uml
- Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
- SEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml
- Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.