Oración 1: lo enunciado anteriormente con respecto a los TADs y la teorı́a de reescri- tura encuentra en Maude una forma de como una manera efectiva de hacer que los modelos se puedan convertir en prototipos ejecutables
Oración 2: la virtud de Maude radica en que “fı́sicamente” emula una ejecución del modelo y, a medida que la ejecución se lleva a cabo, efectúa la evaluación de los estados contra una 20maude
Conector: de hecho,
Relación: entailment
Género: theses