Información del autor
Documentos disponibles escritos por este autor (6)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-08-28We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be[...]texto impreso
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-03We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be[...]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
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
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-03We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the stra[...]texto impreso
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-03We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the stra[...]
