Listar AD - CTG – Informática por autor "e51cc31bf714c23f2b7ffa8c350b6d00"
Mostrando ítems 1-2 de 2
-
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 ...