Buscar en RiuNet

Listar

Mostrando ítems 1-4 de 4

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

Alpuente Frasnedo, María; Ballis, Demis; Romero, Daniel Omar (Elsevier, 2014-02-15)

[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 ...
Rewriting-based Verification and Debugging of Web Systems

Romero ., Daniel Omar (Universitat Politècnica de València, 2011-11-02)

The increasing complexity of Web system has led to the development of sophisticated formal methodologies for verifying and correcting Web data and Web programs. In general, establishing whether a Web system behaves ...
Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems

Baggi ., Michele (Universitat Politècnica de València, 2010-11-29)

Desde los orígenes del hardware y el software hasta la época actual, la complejidad de los sistemas de cálculo ha supuesto un problema al cual informáticos, ingenieros y programadores han tenido que enfrentarse. Como ...
Verificación de aplicaciones web dinámicas con Web-TLR

Espert Real, Javier (Universitat Politècnica de València, 2011-07-20)

Web-TLR is a software tool designed for model-checking Web applications that is based on rewriting logic. Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR ...

Mostrando ítems 1-4 de 4