Información del autor
Autor Verdejo López, José Alberto |
Documentos disponibles escritos por este autor (19)
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
Durán, Francisco ; Verdejo López, José Alberto | 2002-05A useful way of presenting a new language is by means of complete examples that show the language features in action. In this paper we do so for the Mobile Maude language, an extension of Maude that suports mobile computation. We implement an am[...]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
Verdejo López, José Alberto ; Martí Oliet, Narciso | 2003-08This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where transitions become rewrites and inference rules become conditional r[...]texto impreso
Verdejo López, José Alberto ; Martí Oliet, Narciso | 2000-02We explore the features of rewriting logic and its language Maude as a logical and semantic framework for representing both the semantics of CCS, and a modal logic for describing local capabilities of CCS processes. Although a rewriting logic re[...]texto impreso
Gómez Martín, Marco Antonio ; Segura Díaz, Clara María ; Ortega Mallén, Yolanda ; Verdejo López, José Alberto ; Martí Oliet, Narciso ; Gómez Martín, Pedro Pablo ; Carballa Corredoira, Boris ; García Baameiro, Daniel ; Martín Sánchez, Óscar ; Doménech Arellano, Jesús Javier ; Costero Valero, Luis María ; Jacynycz García, Viktor Shamel | 2019-10-23Informe sobre la experiencia de aplicar técnicas de gamificación en la asignatura “Estructura de Datos y Algoritmos”, obligatoria de 2º curso en los grados impartidos en la Facultad de Informática de la UCM.texto impreso
Verdejo López, José Alberto | 2002-01We present a formal tool where LOTOS specifications without restrictions in their data types can be executed. The reflective feature of rewriting logic and the metalanguage capabilities of Maude make it possible to implement the whole tool in th[...]texto impreso
La lógica de reescritura, propuesta por José Meseguer en 1990 como marco de unificación de modelos de computación concurrente, es una lógica para razonar sobre sistemas concurrentes con estado que evolucionan por medio de transiciones. Desde su [...]texto impreso
Rubio Cuellar, Rubén ; Martí Oliet, Narciso ; Pita Andreu, Isabel ; Verdejo López, José Alberto | 2019-06-27Strategies are widespread in Computer Science. In the domain of reduction and rewriting systems, strategies are studied as recipes to restrict and control reduction steps and rule applications, which are intimately local, in a derivation-global [...]texto impreso
Our aim is to bring modularity to system specification in rewriting logic. Modularity here is in the sense of decomposing a system into its functional components, coding the specification for each component as a separate system, and then assembl[...]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[...]