Formal Model-Driven Program Refactoring.
Tiago MassoniRohit GheyiPaulo BorbaPublished in: FASE (2008)
Keyphrases
- model driven
- data driven
- service oriented
- metamodel
- development environments
- model driven development
- data integration
- model driven engineering
- source code
- software systems
- computer programs
- transformation rules
- data sets
- formal model
- reverse engineering
- formal specification
- data warehouse
- model driven architecture
- relational databases