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

Marco Winckler (1, 2) , Eric Barboni (1) , Christelle Farenc (1) , Philippe Palanque (1, 2)

1 IRIT-ICS - Interactive Critical Systems
2 UT3 - Université Toulouse III - Paul Sabatier

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.

Mots clés: Model-based Web developpement; Model-based verification; Formal descriptiontechniques; Usability evaluation

Domaines: Génie logiciel [cs.SE]

Marco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. International Research Network (IRN Neutrino 2005), GDR Neutrino (CNRS et CEA), Mar 2005, Valencia, Spain. pp.33-36. ⟨hal-03663649⟩