Istituto di Scienza e Tecnologie dell'Informazione     
Paterṇ F., Santoro C. Integrating formal techniques in the design of user interfaces. MEFISTO Internal Report WP2-4. Internal note CNUCE-B4-99-030, 1999.
In this paper we present a method that aims to integrate the use of formal techniques in the design process of interactive applications, with particular attention to those applications where both usability and safety are main concerns. The method is supported by a set of tools. We will also discuss how the resulting environment can be helpful in reasoning about multi-user interactions using the task model of an interactive application. Examples are provided from a case study that we have performed in the field of air traffic control.
Subject Human-Computer Interaction
Model-Based Design
Application of Formal Methods
H.5.2 User Interfaces
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional