Implementing QVT-R Bidirectional Model Transformations Using Alloy.
Nuno MacedoAlcino CunhaPublished in: FASE (2013)
Keyphrases
- mathematical model
- theoretical analysis
- formal model
- artificial intelligence
- closed form
- cost function
- probability distribution
- management system
- input data
- metamodel
- sensitivity analysis
- hierarchical structure
- experimental data
- theoretical framework
- computational model
- real time
- d objects
- objective function
- image segmentation
- search engine
- neural network
- data sets