• Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 

      Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; [et al.] (2017)
      This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in ...
    • Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications 

      Moreno-Delgado, Antonio; Durán, Francisco; Meseguer, José (2016)
      Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture ...