Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Latella D. Deriving Manuals from Formal Specifications. Technical report, 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 formal specifications
D.2.2. Design Tools and Techniques
D.2.4. Model Checking
D.2.7. Documentation

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