Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools

Francisco DurĂ¡n 0001. Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. Journal of Object Technology, 21(4), 2022. [doi]

Abstract

Abstract is missing.