Login / Signup
Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications.
José Diego De la Cruz
Lam-Son Lê
Alain Wegmann
Published in:
ICEIS (3) (2006)
Keyphrases
</>
visual features
finite state machines
high level
low level
visual information
visual perception
data sets
supply chain
artificial intelligence
face recognition
medical images
state variables
formal specification
visual appearance
visual analysis
moral hazard