Login / Signup

A compositional automata-based semantics and preserving transformation rules for testing property patterns.

Safouan TahaJacques JulliandFrédéric DadeauKalou Cabrera CastillosBilal Kanso
Published in: Formal Aspects Comput. (2015)
Keyphrases
  • transformation rules
  • structural patterns
  • rewrite rules
  • metamodel
  • model driven
  • recursive programs
  • artificial intelligence
  • test cases
  • database
  • databases
  • data structure
  • data warehouse
  • range queries
  • design patterns