Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

Computer-aided analysis of cooperative applications

Conference Paper
Publication Date:
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.
Iris type:
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)
List of contributors:
Mancini, Cristiano; Ballardin, Giulio; Paterno', Fabio
Authors of the University:
PATERNO' FABIO
Handle:
https://iris.cnr.it/handle/20.500.14243/394572
Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/394572/168367/prod_408221-doc_143194.pdf
  • Use of cookies

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