• Executing Multilevel Domain-Specific Models in Maude 

      Rodríguez, Alejandro; Duran, Francisco; Rutle, Adrian; Kristensen, Lars Michael (Peer reviewed; Journal article, 2019)
      Multilevel modelling (MLM) tackles the limitation in the number of abstraction levels present in traditional modelling approaches within the model-driven software engineering (MDSE) field. One way to specify the behaviour ...