Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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, 2006.

ICEIS ISAS 2006
DBLP
Scholar
Full names Links ISxN
@inproceedings{ICEIS-ISAS-2006-CruzLW,
	author        = "José Diego De la Cruz and Lam-Son Lê and Alain Wegmann",
	booktitle     = "{Proceedings of the Eighth International Conference on Enterprise Information Systems: Information Systems Analysis and Specification}",
	isbn          = "972-8865-41-4",
	pages         = "298--303",
	title         = "{Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications}",
	year          = 2006,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.