A Formal Framework for Retainment Patterns for Trace-Based Model Transformations.
Thomas GoldschmidtAxel UhlPublished in: EUROMICRO-SEAA (2011)
Keyphrases
- formal model
- computational model
- computational framework
- probabilistic model
- mathematical model
- experimental data
- unified model
- mathematical framework
- bayesian framework
- theoretical framework
- statistical model
- management system
- modeling framework
- high level
- knowledge base
- information retrieval
- conceptual model
- parameter estimation
- theoretical foundation
- learning scheme
- objective function
- generic model