Alloy as a Refactoring Checker?

H.-Christian Estler Heike Wehrheim

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

source code
mechanical properties
software systems
data quality
computer vision
expert systems
database
information systems
decision trees
wide range
data structure
feature space
artificial neural networks
input image