PUMA
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.
 
 
Abstract
(English)
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