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
Book title:
The Handbook of Formal Methods in Human-Computer Interaction