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

José Diego De la Cruz, Lam-Son Lê, Alain Wegmann. Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications. In Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, José Cordeiro, editors, ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006. pages 298-303, 2006.

Abstract

Abstract is missing.