In this paper we discuss how tool-support can be useful for designers who apply task modelling. We focus on how tools can help designers during the development, analysis, and management of task models for cooperative applications. In particular, we introduce how CTTE, a set of tools that we have developed, provides support for the development and analysis of task models of multi-user applications specified in ConcurTaskTrees.

Computer-aided analysis of cooperative applications

Paterno' F.
1999

Abstract

In this paper we discuss how tool-support can be useful for designers who apply task modelling. We focus on how tools can help designers during the development, analysis, and management of task models for cooperative applications. In particular, we introduce how CTTE, a set of tools that we have developed, provides support for the development and analysis of task models of multi-user applications specified in ConcurTaskTrees.
1999
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Task models
Cooperative applications
Tool-support for design
Formal methods for HCI
Software/program verification
Information interfaces and presentation (e.g.
HCI)
File in questo prodotto:
File Dimensione Formato  
prod_408221-doc_143194.pdf

accesso aperto

Descrizione: Computer-aided analysis of cooperative applications
Tipologia: Versione Editoriale (PDF)
Dimensione 280.68 kB
Formato Adobe PDF
280.68 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/394572
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact