• Tool Interoperability in the Maude Formal Environment 

      Durán, Francisco; Rocha, Camilo; Álvarez, José María (SpringerBerlín, 2011)
      We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...
    • Towards a Maude Formal Environment 

      Durán, Francisco; Rocha, Camilo; Álvarez, José María (SpringerBerlín, 2011)
      Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in ...