Specification Languages for Preserving Consistency between Models of Different Languages

Max E. Kramer. Specification Languages for Preserving Consistency between Models of Different Languages. PhD thesis, Karlsruhe Institute of Technology, Germany, 2017. [doi]

Abstract

Abstract is missing.