- -

Debugging of Web Applications with Web-TLR

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

Compartir/Enviar a

Citas

Estadísticas

Debugging of Web Applications with Web-TLR

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Espert Real, J.; Frechina Navarro, F.; Romero ., DO.; Ballis ., D. (2011). Debugging of Web Applications with Web-TLR. Electronic Proceedings in Theoretical Computer Science. 61:66-80. doi:10.4204/EPTCS.61.5

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/36917

Ficheros en el ítem

Metadatos del ítem

Título: Debugging of Web Applications with Web-TLR
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 theories ...[+]
Derechos de uso: Reconocimiento (by)
Fuente:
Electronic Proceedings in Theoretical Computer Science. (issn: 2075-2180 )
DOI: 10.4204/EPTCS.61.5
Editorial:
Open Publishing Association
Versión del editor: http://dx.doi.org/10.4204/EPTCS.61.5
Título del congreso: 7th International Workshop on Automated Specification and Verification of Web Systems
Lugar del congreso: Reykjavik
Fecha congreso: 2009, juny
Patrocinador:
FPI¿MEC grant BES¿2008¿004860
Italian MUR under grant RBIN04M8S8, FIRB project, Internationalization 2004
Generalitat Valenciana, ref. PROMETEO2011/052
Spanish MEC TIN2010-21062-C02-02
EU (FEDER)
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem