Información del autor
Documentos disponibles escritos por este autor (18)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Montenegro Montes, Manuel ; Tamarit Muñoz, Salvador ; Sánchez Hernández, Jaime ; Gregorio Rodríguez, Carlos | 2016-01-28Proponemos estudiar la aplicabilidad y posibles medios de implementación de un sistema de tutoriales interactivos para el aprendizaje de la programación, donde el alumno aprende nuevos conceptos a la vez que los practica.texto impreso
Riesco Rodríguez, Adrián ; Verdejo López, José Alberto ; Martí Oliet, Narciso ; Caballero, Rafael | 2009We show in this guide how to use our declarative debugger for Maude specifications. Declarative debugging is a semi-automatic technique that starts from a computation considered incorrect by the user (error symptom) and locates a program fragmen[...]texto impreso
Caballero, Rafael ; Martí Oliet, Narciso ; Riesco Rodríguez, Adrián ; Verdejo López, José Alberto | 2007We introduce a declarative debugger for Maude functional modules, which correspond to executable specifications in membership equational logic. First we describe the construction of appropriate debugging trees for oriented equational and members[...]texto impreso
Riesco Rodríguez, Adrián ; Verdejo López, José Alberto ; Caballero, Rafael ; Martí Oliet, Narciso | 2008We introduce a declarative debugger for Maude modules: functional modules correspond to executable specifications in membership equational logic, while system modules correspond to rewrite theories. First we describe the construction of appropri[...]texto impreso
Rewriting logic is a logic of change, where rewrites correspond to transitions between states. One of the main characteristics of these transitions is that they can be nondeterministic, that is, given an initial state, there is a set of possible[...]texto impreso
Riesco Rodríguez, Adrián ; Verdejo López, José Alberto ; Martí Oliet, Narciso ; Caballero, Rafael | Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid | 2010-07-29Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree representing this computation and guiding the user through it to find the e[...]texto impreso
texto impreso
Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián ; Rosa Velardo, Fernando ; Tamarit Muñoz, Salvador | 2015En este trabajo proponemos un sistema colaborativo para aprendizaje de lenguajes de programacióntexto impreso
El objetivo de este proyecto es desarrollar una aplicación que, mediante técnicas de inteligencia artificial sea capaz de jugar al Go, ofreciendo las posibilidades de juego humano vs humano, humano vs cpu y cpu vs cpu. Para ello, diferenciamos e[...]texto impreso
Montenegro Montes, Manuel ; Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Saavedra López, Santiago ; Suárez García, Gorka | 2019-06-29En este proyecto se extiende el conjunto de herramientas del proyecto Innova-Docencia nº 49 (2016/2017) introduciendo un asistente que permite, de modo interactivo, navegar y realizar operaciones por lotes en todas las entregas de un mismo ejercicio.texto impreso
Caballero Roldán, Rafael ; Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián ; Tamarit Muñoz, Salvador | 2016-01Memoria del PIMCD 32/2015, donde presentamos una herramienta colaborativa para aprender lenguajes de traducción mediante traducción llamada DuoCode.texto impreso
texto impreso
Codescu, Mihai ; Mossakowski, Till ; Riesco Rodríguez, Adrián ; Christian, Maeder | 2010-09Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lacks the formal tools to perform some of these analyses and thus th[...]texto impreso
Pita Andreu, Isabel ; Riesco Rodríguez, Adrián | 2017-03-01Kademlia is the most popular peer-to-peer distributed hash table (DHT) currently in use. It offers a number of desirable features that result from the use of a notion of distance between objects based on the bitwise exclusive or of n-bit quantit[...]texto impreso
Riesco Rodríguez, Adrián ; Verdejo López, José Alberto | Universidad Complutense de Madrid | 2007-01Algorithmic skeletons are a well-known approach for implementing distributed applications. Declarative versions typically use higher-order functions in functional languages. We show here a different approach based on parameterized modules in Mau[...]
