Usability is the most important feature of a computer program from the users point of view. Even if various techniques for evaluating usability have been proposed, formal methods are still lacking. A good indication of program usability is given by the agreement between the mental model of the system, as conceived by the user, and the model of the user, as understood by the designer and implemented in the system. We extend here the visual sentence theory we have developed in the last few years by introducing the concept of relation system. This provides a means for describing both the user's and the program's models. Based on this formalism, we can also define some measurable properties for usability, and develop experimental protocols for their measurement.

Towards Formal Measures of Usability for Visual Interactive Systems / Bottoni, Paolo Gaspare; M. F., Costabile; LEVIALDI GHIRON, Stefano; A., Piccinno. - STAMPA. - (2002), pp. 188-197. (Intervento presentato al convegno Human Centric Computing Languages and Environments tenutosi a Arlington, USA nel 3-6/9/2002) [10.1109/HCC.2002.1046371].

Towards Formal Measures of Usability for Visual Interactive Systems

BOTTONI, Paolo Gaspare;LEVIALDI GHIRON, Stefano;
2002

Abstract

Usability is the most important feature of a computer program from the users point of view. Even if various techniques for evaluating usability have been proposed, formal methods are still lacking. A good indication of program usability is given by the agreement between the mental model of the system, as conceived by the user, and the model of the user, as understood by the designer and implemented in the system. We extend here the visual sentence theory we have developed in the last few years by introducing the concept of relation system. This provides a means for describing both the user's and the program's models. Based on this formalism, we can also define some measurable properties for usability, and develop experimental protocols for their measurement.
2002
Human Centric Computing Languages and Environments
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Towards Formal Measures of Usability for Visual Interactive Systems / Bottoni, Paolo Gaspare; M. F., Costabile; LEVIALDI GHIRON, Stefano; A., Piccinno. - STAMPA. - (2002), pp. 188-197. (Intervento presentato al convegno Human Centric Computing Languages and Environments tenutosi a Arlington, USA nel 3-6/9/2002) [10.1109/HCC.2002.1046371].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/250423
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact