Constructing optimized constraint-preserving application conditions for model transformation rules - Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele (Journal of logical and algebraic methods in programming, 2020)
Keywords: Constraints; Correctness; Graph transformation; Model transformation; Validity preservation; Model transformation; Constraints; Validity preservation; Correctness; Graph transformation