1 paper
Barbara Weber, Sarah Zeitelhofer, Jakob Pinggera +2
Process model quality has been an area of considerable research efforts. In this context, correctness-by-construction as enabled by change patterns provides promising perspectives.…