Maudeling: Herramienta de gestión de modelos usando Maude.

José Eduardo Rivera Francisco Durán Antonio Vallecillo José Raúl Romero

Published in: JISBD (2007)

Keyphrases

formal specification
equational theories
databases
expert systems
database
machine learning
information systems
bayesian networks
probability distribution
object oriented
programming language
business processes
qualitative and quantitative