A Formal Framework for Incremental Model Slicing

Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter. A Formal Framework for Incremental Model Slicing. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 147-149, GI, 2019. [doi]

Abstract

Abstract is missing.