Login / Signup

Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules.

Ekawit NantajeewarawatKiyoshi AkamaHidekatsu Koike
Published in: J. Adv. Comput. Intell. Intell. Informatics (2007)
Keyphrases
  • rewriting rules
  • transformation rules
  • rewrite rules
  • database
  • model driven
  • case study
  • metamodel