Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Latella D. Deriving manuals from formal specifications. In: Proceedings of HCI International 2003 (Crete, Greece, 2-22 2003). Proceedings, vol. 1 pp. 163 - 167. Jacko, J. and Stephanidis, Constantine (eds.). Lawrence Erlbaum Associates Publishers, 2003.
In this paper we propose the use (or re-use) of formal specifications for the development of user manuals and user instructions. We base our work on two observations. The first is that a considerable part of user manuals consist of series of user instructions that guide a user in the use of a device or a software application. The second is that the user interface in terms of user operations and feedback can often be described in the form of a finite state machine. In this paper we describe how model checking techniques can be used to derive automatically series of user instructions from the interface specification. The approach is illustrated by means of the specification of a well-known device such as a telephone which is then used to derive proper instruction sequences addressing relevant how-to and what-if questions about the operation of the system from a user point of view.
Subject Design Tools and Techniques
Model Checking
D.2.2. Design Tools and Techniques
D.2.4. Software/Program Verification
D.2.7. Distribution, Maintenance and Enhancement

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