Estadísticas del PDF: TEMA 1. ESPECIFICACIONES FORMALES ALGEBRAICAS EN MAUDE - Algoritmos y Estructuras de Datos

Algoritmos y Estructuras de Datos I
Grado en Ingeniería Informática, Curso 2º



TEMA 1. ESPECIFICACIONES
FORMALES ALGEBRAICAS

EN MAUDE



Contenidos:



1. Descripción general de Maude
2. Comandos básicos
3. Formato de especificación
4. Ejemplos
5. Actividad de evaluación continua del tema 1



OJO: Antes de realizar esta actividad es conveniente repasar las especificaciones
formales algebraicas o axiomáticas (tema 1 de la asignatura).

Algoritmos y Estructuras de Datos I
...