PDF:
Static Analysis of Model Transformations
Title | Static Analysis of Model Transformations |
Publication Type | Thesis |
Year of Publication | 2009 |
Authors | Ujhelyi, Z. |
University | Budapest University of Technology and Economics |
Thesis Type | Masters Thesis |
Keywords | model transformations, static analysis, type checking, Viatra |