José Diego De la Cruz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 José Diego De la Cruz, Lam-Son Lê, Alain Wegmann: Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications. ICEIS (3) 2006: 298-303

1 José Diego De la Cruz, Lam-Son Lê, Alain Wegmann: Validation of Visual Contracts for Services. MSVVEIS 2006: 147-165

	2006
2		José Diego De la Cruz, Lam-Son Lê, Alain Wegmann: Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications. ICEIS (3) 2006: 298-303
1		José Diego De la Cruz, Lam-Son Lê, Alain Wegmann: Validation of Visual Contracts for Services. MSVVEIS 2006: 147-165

Coauthor Index

1 Lam-Son Lê [1] [2]

2 Alain Wegmann [1] [2]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page