Static Analysis of Model Transformations

TitleStatic Analysis of Model Transformations
Publication TypeThesis
Year of Publication2009
AuthorsUjhelyi, Z.
UniversityBudapest University of Technology and Economics
Thesis TypeMasters Thesis
Keywordsmodel transformations, static analysis, type checking, Viatra
PDF: