Browsing by Subject "Maude"
RiuNet: Institutional repository of the Polithecnic University of Valencia
- RiuNet UPV Home
- :
- Browsing by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search RiuNet
Browse
My Account
RiuNet Help
Browsing by Subject "Maude"
Now showing items 1-19 of 19
-
Sapiña Sanchis, Julia (2012-10-02)In this work we develop Julienne, an online trace slicer for the high performance rewriting logic language Maude. Trace slicing is a widely used technique for execution trace analysis that is effectively used in program ... -
Frechina Navarro, Francisco (2014-11-17)Los sistemas software actuales son artefactos complejos cuyo comportamiento es a menudo extremadamente difícil de entender. Este hecho ha llevado al desarrollo de metodologías formales muy sofisticadas para el análisis, ... -
Alpuente Frasnedo, María; Frechina, F.; Sapiña Sanchis, Julia; Ballis, Demis (Cambridge University Press (CUP), 2016-09)[EN] We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's execution trace and executed program, ... -
Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña-Sanchis, Julia (Elsevier, 2016-08)In this paper we propose a dynamic analysis methodology for improving the diagnosis of erroneous Maude programs. The key idea is to combine runtime checking and dynamic trace slicing for automatically catching errors at ... -
Alpuente Frasnedo, María; Ballis, Demis; Frechina Navarro, Francisco; Sapina, Julia (Elsevier, 2015)[EN] Trace exploration is concerned with techniques that allow computation traces to be dynamically searched for specific contents. Depending on whether the exploration is carried backward or forward, trace exploration ... -
Roselló Gil, Guillermo (2017-10-30)[EN] Current technology allows us to have a great deal of computation power in the palm of our hand in the form of smartphones. Such powerful and versatile devices are the perfect tools to, e.g., authenticate users in ... -
Gómez Llana, Abel (2011-11-02)La Ingeniería dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas más interoperables y sencillas de mantener mediante técnicas que elevan el nivel de ... -
Alpuente Frasnedo, María; Cuenca-Ortega, Angel; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Cambridge University Press, 2017)[EN] This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including ... -
Feliú Gabaldón, Marco Antonio (2013-11-19)La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma ... -
Ruiz Pérez, Francisca de Asís (2016-05-13)[ES] La mayoría de herramientas de modelado en Ingeniería del Software carecen de mecanismos de verificación de propiedades basados en métodos formales, aunque existen muchas alternativas que incluyen métodos formales ... -
Lucas Alba, Salvador; Meseguer, Jose (Elsevier, 2016-01)We present several new concepts and results on conditional term rewriting within the general framework of order-sorted rewrite theories (OSRTs), which support types, subtypes and rewriting modulo axioms, and contains the ... -
Gutiérrez Gil, Raúl; Meseguer, Jose; Rocha, Camilo (Elsevier, 2015-03-07)Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ... -
González Burgueño, Antonio (2015-06-16)[EN] Escobar of the Universitat Politècnica de València in collaboration with José Meseguer (University of Illinois at Urbana-Champaign, USA) and Catherine Meadows (Naval Research Lab, Washington, DC, USA). We focus on ... -
Sapiña Sanchis, Julia (2018-01-08)Esta tesis propone una metodología de análisis dinámico que mejora el diagnóstico de programas erróneos escritos en el lenguaje Maude. La idea clave es combinar técnicas de verificación de aserciones en tiempo de ejecución ... -
Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia (2018-04-12)In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ... -
Lucas Alba, Salvador; Meseguer, José (Springer Verlag (Germany), 2014-11)This paper presents several new results on conditional term rewriting within the general framework of order-sorted rewrite theories (OSRTs) which contains the more restricted framework of conditional term rewriting systems ... -
Ojeda Forés, Pedro (2011-10-27)En este trabajo se presenta, en primer lugar, una metodología de verificación y reparación de sitios Web que permite especificar requerimientos sobre el sitio Web y detectar errores en base a la especificación. Para optimizar ... -
CUENCA ORTEGA, ANGEL (2014-11-18)[EN] Refactoring techniques for the rewriting logic for the Maude language -
Alarcón Jiménez, Beatriz (2011-06-10)Maude es un lenguaje de programación declarativo basado en la lógica de reescritura que incorpora muchas características que lo hacen muy potente. Sin embargo, a la hora de probar ciertas propiedades computacionales esto ...
Now showing items 1-19 of 19
Content on this site is licensed under a Creative Commons Attribution – Non Commercial – No Derivs (by-nc-nd) License, except where otherwise noted. Riunet 4.2
