What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Marco A. A. Winckler, Éric Barboni, Philippe A. Palanque, Christelle Farenc · Electronic Notes in Theoretical Computer Science · 2006
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.