What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Electronic Notes in Theoretical Computer Science Année : 2006

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?

Résumé

In this paper we introduce briefly a notation dedicated to model navigation of Web applications and we discuss some strategies to assess the usability over navigation models built with such as a notation. Our aim with this kind of evaluation is to ensure (prior to implementation) that important users tasks can (or cannot) be performed using the system.

Dates et versions

hal-03663641 , version 1 (10-05-2022)

Licence

Paternité

Identifiants

Citer

Marco Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science, 2006, Special issue: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 157 (2006) (2), pp.207-211. ⟨10.1016/j.entcs.2005.12.056⟩. ⟨hal-03663641⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More