- -

A rewriting logic approach to the formal specification and verification of web applications

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A rewriting logic approach to the formal specification and verification of web applications

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Romero, DO. (2014). A rewriting logic approach to the formal specification and verification of web applications. Science of Computer Programming. 81:79-107. https://doi.org/10.1016/j.scico.2013.07.014

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

Files in this item

Item Metadata

Title: A rewriting logic approach to the formal specification and verification of web applications
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] 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 ...[+]
Subjects: Web verification , Rewrite theory , Model checking , LTLR
Copyrigths: Reserva de todos los derechos
Source:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2013.07.014
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.scico.2013.07.014
Project ID: info:eu-repo/grantAgreement/EC/FP7/246016
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish MEC project ref. TIN2010-21062-C02-02, and by Generalitat Valenciana ref. PROMETE02011/052. This work was carried out during the tenure by Demis ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record