Travelled to:1 × Cyprus
Collaborated with:L.Lê A.Wegmann
Talks about:contract (1) visual (1) system (1) specif (1) reason (1) cardin (1) state (1) about (1) way (1)
Person: José Diego De la Cruz
DBLP: Cruz:Jos=eacute=_Diego_De_la
Contributed to:
2006Wrote 1 papers:
- ICEIS-ISAS-2006-CruzLW #contract #specification #visual notation
- Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications (JDDlC, LSL, AW), pp. 298–303.