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

A public tool suite for modelling interactive applications

Chapter
Publication Date:
2017
abstract:
Model-based approaches aim to support designers and developers through the use of logical representations able to highlight important aspects. In this chapter, we present a set of tools for task and user interface modelling useful for supporting the design and development of interactive applications. Such tools can be used separately or in an integrated manner within different types of development processes of various types of interactive applications. This tool suite is publicly available and, as such, can be exploited in real-world case studies and university teaching.
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
User Interfaces; Formal Methods; Human Computer Interaction
List of contributors:
Santoro, Carmelina; Manca, Marco; Paterno', Fabio
Authors of the University:
MANCA MARCO
PATERNO' FABIO
SANTORO CARMELINA
Handle:
https://iris.cnr.it/handle/20.500.14243/330238
Book title:
The Handbook of Formal Methods in Human-Computer Interaction
  • Overview

Overview

URL

http://link.springer.com/chapter/10.1007/978-3-319-51838-1_18
  • Use of cookies

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