Using Alloy to model-check visual design notations
Anthony J. H. SimonsCarlos Alberto Fernández y FernándezPublished in: CoRR (2008)
Keyphrases
- probabilistic model
- high level
- metamodel
- management system
- theoretical analysis
- data model
- statistical model
- mathematical model
- input data
- conceptual framework
- formal model
- computational models
- design patterns
- conceptual model
- em algorithm
- real time
- object oriented
- cost function
- prior knowledge
- image retrieval
- multiscale
- case study