Towards Model-and-Code Consistency Checking.
Markus Riedl-EhrenleitnerAndreas DemuthAlexander EgyedPublished in: COMPSAC (2014)
Keyphrases
- consistency checking
- neural network
- probability distribution
- computational model
- high level
- qualitative and quantitative
- probabilistic model
- stochastic search
- statistical model
- mathematical model
- linear programming
- knowledge discovery
- data exchange
- functional dependencies
- similarity measure
- temporal constraints
- databases
- database