Specification and Verification of Model Transformations.
Frank HermannMathias HülsbuschBarbara KönigPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- high level
- conceptual model
- computational model
- statistical model
- probabilistic model
- mathematical model
- theoretical analysis
- sensitivity analysis
- closed form
- experimental data
- evolutionary algorithm
- neural network model
- modelling language
- linear model
- autoregressive
- specification language
- state machine
- real time
- parameter estimation
- management system
- prior knowledge
- multi agent
- objective function
- decision making