José Diego De la Cruz

According to our database, José Diego De la Cruz authored at least 3 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Visual contracts (VCs): enriching graphical systemic models to support diagrammatic reasoning in system design.

José Diego De la Cruz

PhD thesis, 2007

2006

Validation of Visual Contracts for Services.

José Diego De la Cruz, Lam-Son Lê, Alain Wegmann

Proceedings of the Modelling, 2006

Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications.

José Diego De la Cruz, Lam-Son Lê, Alain Wegmann

Proceedings of the ICEIS 2006, 2006