Blar i HVL Open på forfatter "Lamo, Yngve"
-
Verification of Graph-based Model Transformations Using Alloy
Wang, Xiaoliang; Fabian, Büttner; Lamo, Yngve (Peer reviewed; Journal article, 2014)Model transformations are fundamental in model driven development. Thus, verification of model transformations is indispensable to ensure the quality and the reliability of transformation results. In this paper we focus ... -
The Visual Debugger Tool
Kräuter, Tim Oliver; König, Harald; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2022)Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate ... -
Well-formed Model Co-evolution with Customizable Model Migration
Mantz, Florian; Taentzer, Gabriele; Lamo, Yngve (Peer reviewed; Journal article, 2013)