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

Marco Winckler | Zendy; Éric Barboni | Zendy; Philippe Palanque | Zendy; Christelle Farenc | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Marco Winckler,

Éric Barboni,

Philippe Palanque,

Christelle Farenc

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.12.056

Subject(s) - usable , computer science , notation , usability , software engineering , programming language , formal methods , web application , human–computer interaction , world wide web , arithmetic , mathematics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research