- -

Listar por palabra clave "Debugging of web systems"

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

Listar por palabra clave "Debugging of web systems"

Ordenar por:Orden:Resultados:

  • 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 ...