Transformation Rules for Z.

Mark Utting Petra Malik Ian Toyn

Published in: Chic. J. Theor. Comput. Sci. (2010)

Keyphrases

transformation rules
rewriting rules
metamodel
rewrite rules
recursive programs
model driven
data sets
case study
multi dimensional
data driven
query optimizer