A model-driven approach to formal refactoring.

Tiago Massoni Rohit Gheyi Paulo Borba

Published in: OOPSLA Companion (2005)

Keyphrases

metamodel
decision trees
data quality
formal model
hidden markov models
source code
software systems
mathematical theory
databases
decision making
probabilistic model
formal methods
operational semantics
formal language