What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Résumé
n this paper we introduce briefly a notation dedicated to model navigation of Web applicationsand 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.