Formal Description and Verification of a Text-based Model Differencing and Merging Method

Ferenc A. Somogyi, Márk Asztalos. Formal Description and Verification of a Text-based Model Differencing and Merging Method. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018. pages 657-667, SciTePress, 2018. [doi]

Abstract

Abstract is missing.