- -

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

  • Estadisticas de Uso

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

Ficheros en el ítem

Thumbnail
Nombre: SCICO2014AVOCS-au ...
Tamaño: 1.075Mb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: SCICO2014AVOCS.pdf
Tamaño: 1.038Mb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: A rewriting logic approach to the formal specification and verification of web applications
Autor: Alpuente Frasnedo, María Ballis, Demis Romero, Daniel Omar
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:
[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 ...[+]
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/EU/Alain Bensoussan Career Development Enhancer/
info:eu-repo/grantAgreement/MICINN//TIN2010-21062-C02-02/ES/SWEETLOGICS-UPV/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/
info:eu-repo/grantAgreement/MICINN//BES-2008-004860/ES/BES-2008-004860/
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

recommendations

 

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

Mostrar el registro completo del ítem