- -

Debugging of Web Applications with Web-TLR

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Debugging of Web Applications with Web-TLR

Show full item record

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

Files in this item

Item Metadata

Title: Debugging of Web Applications with Web-TLR
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[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 ...[+]
Copyrigths: Reconocimiento (by)
Source:
Electronic Proceedings in Theoretical Computer Science. (issn: 2075-2180 )
DOI: 10.4204/EPTCS.61.5
Publisher:
Open Publishing Association
Publisher version: http://dx.doi.org/10.4204/EPTCS.61.5
Conference name: 7th International Workshop on Automated Specification and Verification of Web Systems
Conference place: Reykjavik, Iceland
Conference date: June, 2009
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish MEC TIN2010-21062-C02-02 project, by Generalitat Valenciana, ref. PROMETEO2011/052, and by the Italian MUR under grant RBIN04M8S8, FIRB project, ...[+]
Type: Artículo Comunicación en congreso

This item appears in the following Collection(s)

Show full item record