A rigorous approach for proving model refactorings.

Rohit Gheyi Tiago Massoni Paulo Borba

Published in: ASE (2005)

Keyphrases

computational model
formal model
objective function
theoretical framework
real time
high level
multiscale
probabilistic model
process model
parameter values
computational models
conceptual model
experimental data
statistical model
database systems
knowledge base
computer vision
learning algorithm
neural network