Istituto di Scienza e Tecnologie dell'Informazione     
Paterṇ F., Santoro C. Task models and task-based design. MEFISTO Deliverable 3. Internal note CNUCE-B4-99-036, 1999.
This deliverable describes the work developed in the project concerning with the use of task models. It discusses the reasons for their use and related issues, provides some excerpts of task models related to a case study considered in the project and examples of task-based design. It also includes a discussion on how to apply model checking techniques to task models.
Subject Task models
Interactive safety-critical applications
User interface design
H.5.2 User Interfaces

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