Información del autor
Documentos disponibles escritos por este autor (3)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de con[...]texto impreso
García Merayo, María de las Mercedes ; Núñez García, Manuel ; Estévez Martín, Sonia ; Martínez Torres, Rafael ; Ibias Martínez, Alfredo ; Pareja Flores, Cristobal ; Rincón Martínez, Santiago ; Correas Fernández, Jesús | 2019-03-14Extensión de la plataforma SQLab con nuevas funcionalidades que permitan a estudiantes de Bases de Datos evaluar sus conocimientos de diseño de instrucciones DML del lenguaje SQL y a los docentes hacer un seguimiento de la evolucion de sus alumnos.texto impreso
García Merayo, María de las Mercedes ; Núñez García, Manuel ; Pareja Flores, Cristobal ; García Ruiz, Yolanda ; Estévez Martín, Sonia ; Martínez Torres, Rafael ; Camacho Magriñán, María Azahara ; Cerro Cañizares, Pablo ; Marco González, Juán Carlos | 2017En este proyecto se ha desarrollado un corrector automático de consultas SQL. Aunque estas herramientas suelen ser de propósito general, en este caso tiene un carácter docente, permitiendo a los estudiantes perfeccionar y afianzar los conocimien[...]
