Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

Computer-aided analysis of cooperative applications

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Task models; Cooperative applications; Tool-support for design; Formal methods for HCI; Software/program verification; Information interfaces and presentation (e.g.; HCI)
Elenco autori:
Mancini, Cristiano; Ballardin, Giulio; Paterno', Fabio
Autori di Ateneo:
PATERNO' FABIO
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/394572
Link al Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/394572/168367/prod_408221-doc_143194.pdf
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)