Using Alloy to model-check visual design notations.

Anthony J. H. Simons Carlos Alberto Fernández y Fernández

Published in: ENC (2005)

Keyphrases

management system
computational model
conceptual model
high level
mathematical model
engineering design
object oriented
visual information
experimental data
process model
visual features
neural network
probabilistic model
hidden markov models
similarity measure
decision making
information systems