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
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
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
Caballero, Rafael ; Cerdá Tena, Emilio ; Muñoz, María del Mar ; Rey, Lourdes | Facultad de Ciencias Económicas y Empresariales. Instituto Complutense de Análisis Económico (ICAE) | 1998In this paper, the resolutian of stochastic multiple objective prograrmming problems is studied. The existence of random parameters in the objective functions has yielded to the definition of several efficient solution concepts for such problems[...]
