- -

Listar por autor "Romero, Daniel Omar"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Romero, Daniel Omar"

Ordenar por:Orden:Resultados:

  • thumb
    A rewriting logic approach to the formal specification and verification of web applications 
    Alpuente Frasnedo, María; Ballis, Demis; Romero, Daniel Omar (Elsevier, 2014-02-15)
    [EN] This paper develops a Rewriting Logic framework for the automatic specification and verification of Web applications that considers the critical aspects of concurrent Web interactions, browser navigation features ...
  • thumb
    Debugging of Web Applications with Web-TLR 
    Alpuente Frasnedo, María; Espert Real, Javier; Frechina Navarro, Francisco; Romero, Daniel Omar; Ballis, Demis (Open Publishing Association, 2011)
    [EN] Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite ...
  • thumb
    Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático 
    Romero ., Daniel Omar (Universitat Politècnica de València, 2011-11-14)
    En este trabajo se presenta una metodología de verificación y reparación de sitios web que permite: especificar los requerimientos del usuario, detectar con precisión las partes que no satisfacen la especificación y aplicar ...
  • thumb
    Rewriting-based Verification and Debugging of Web Systems 
    Romero ., Daniel Omar (Universitat Politècnica de València, 2011-11-02)
    The increasing complexity of Web system has led to the development of sophisticated formal methodologies for verifying and correcting Web data and Web programs. In general, establishing whether a Web system behaves ...
  • thumb
    Slicing-based debugging of web applications in rewriting logic 
    Frechina Navarro, Francisco (Universitat Politècnica de València, 2012-05-14)
    The pervasiveness of computing on the Internet has led to an explosive growth of Web applications that, together with their ever-increasing complexity, have turned their design and development in a major challenge. Un ...
  • thumb
    Using conditional trace slicing for improving Maude programs 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Romero, Daniel Omar (Elsevier, 2014-02-01)
    [EN] Understanding the behavior of software is important for the existing software to be improved. In this paper, we present a trace slicing technique that is suitable for analyzing complex, textually-large computations ...