- -

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

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

Compartir/Enviar a

Citas

Estadísticas

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

Mostrar el registro completo del ítem

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. doi:10.1016/j.scico.2013.07.014

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

Ficheros en el ítem

Metadatos del ítem

Título: A rewriting logic approach to the formal specification and verification of web applications
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:
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 (e.g., ...[+]
Palabras clave: Web verification , Rewrite theory , Model checking , LTLR
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2013.07.014
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2013.07.014
Código del Proyecto: info:eu-repo/grantAgreement/EC/FP7/246016
Agradecimientos:
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 ...[+]
Tipo: Artículo

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

Mostrar el registro completo del ítem