A MDE Based Approach for Bridging Formal Models.

Tian Zhang Frédéric Jouault Jean Bézivin Jianhua Zhao

Published in: TASE (2008)

Keyphrases

formal models
rule based systems
process model
formal model
databases
real time
decision trees
pattern recognition