Transformation Rules for Z.

Mark Utting Petra Malik Ian Toyn

Published in: CATS (2009)

Keyphrases

transformation rules
rewrite rules
metamodel
rewriting rules
model driven
recursive programs
data model