Data di Pubblicazione:
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.
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
User Interfaces; Formal Methods; Human Computer Interaction
Elenco autori:
Santoro, Carmelina; Manca, Marco; Paterno', Fabio
Link alla scheda completa:
Titolo del libro:
The Handbook of Formal Methods in Human-Computer Interaction