E-CAL: A formal language for software model evolution.

Samuel A. Ajila

Published in: IRI (2011)

Keyphrases

databases
data mining
high level
database
prior knowledge
software development
training data
domain knowledge
first order logic
formal language