ListarLCC - Contribuciones a congresos científicos por tema "Maude"
Mostrando ítems 1-2 de 2
-
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
(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 ... -
Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio
(2014-08-01)We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the ...