ListarAD - CTG – Informática por tema "Active Tool"
Mostrando ítems 1-2 de 2
-
Tool Interoperability in the Maude Formal Environment
(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
(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 ...