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

https://doi.org/10.1016/j.entcs.2005.12.056Get rights and content
Under a Creative Commons license
open access

Abstract

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.

Keywords

Model-based Web developpement
Model-based verification
Formal description techniques
Usability evaluation

Cited by (0)