New Evaluation Commands for Maude Within Full Maude.

Francisco Durán Santiago Escobar Salvador Lucas

Published in: WRLA (2004)

Keyphrases

formal specification
equational theories
evaluation criteria
empirical evaluation
evaluation method
comparative evaluation
evaluation metrics
user interface
multi agent
real time
decision making
artificial intelligence
gold standard
evaluation methods
machine learning
data mining
evaluation process
data sets