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

Authors:
Marco Winckler;Eric Barboni;Philippe Palanque;Christelle Farenc
Affiliations:
LIIHS-IRIT, University Paul Sabatier, Toulouse, France;LIIHS-IRIT, University Paul Sabatier, Toulouse, France;LIIHS-IRIT, University Paul Sabatier, Toulouse, France;LIIHS-IRIT, University Paul Sabatier, Toulouse, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 4
Cited 1

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Analysis and testing of Web applications

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Task-Based Assessment of Web Navigation Design

TAMODIA '02 Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design
Branching time temporal logic

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop

Navigation consistency in web site families

Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services

Quantified Score

Hi-index	0.00

Visualization

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.