Información del autor
Documentos disponibles escritos por este autor (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Gómez Martín, Marco Antonio ; Gómez Martín, Pedro Pablo ; Verdejo López, José Alberto ; Pita Andreu, María Isabel ; Segura Díaz, Clara María ; Gómez Albarrán, Mª De Las Mercedes ; Hernández Bécares, Jennifer ; Doménech Arellano, Jesús Javier ; Costero Valero, Luis María ; Doménech Arellano, Pedro Pablo | 2019-01-14Todos los jueces en línea, incluído en sus inicios ¡Acepta el reto! (https://www.aceptaelreto.com) desarrollado por profesores de la UCM, adolecen de un problema de realimentación al usuario: cuando el visitante hace un envío incorrecto el siste[...]texto impreso
En este artículo se describe una experiencia de aprendizaje virtual e interactivo desarrollada para la asignatura de Estructura de Datos y de la Información de segundo curso de la Ingeniería Informática. A través de las actividades realizadas me[...]texto impreso
Las técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos niveles; en el primero se incluyen las técnicas consistentes en el desarrollo de modelos formales del sistema y en el segundo las técnicas que real[...]texto impreso
In this paper we consider three descriptions, at different abstract levels, of the leader election protocol from the IEEE 1394 serial multimedia bus. The descriptions are given using the language Maude based on rewriting logic. Particularly, the[...]texto impreso
Presentamos una herramienta informática para la visualización interactiva de estructuras de datos y esquemas algorítmicos. Durante el presente curso hemos evaluado la parte de la herramienta dedicada a las estructuras de datos. Las distintas par[...]
