Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.

Artur Boronat José A. Carsí Isidro Ramos

Published in: CSMR (2005)

Keyphrases

metamodel
software development
reverse engineering
fully automatic
database
software engineering
automated reasoning
query rewriting
asynchronous circuits
model driven architecture
model driven development
case study
data driven
semi automatic
classical logic