Invariant preservation in iterative modeling

Levi LĂșcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe. Invariant preservation in iterative modeling. In Proceedings of the 6th International Workshop on Models and Evolution, ME@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012. pages 57-62, ACM, 2012. [doi]

Abstract

Abstract is missing.