Document - A public tool suite for modelling interactive applications

2017

Contribution to book Open Access

A public tool suite for modelling interactive applications

Manca M., Paternò F., Santoro C.

Formal Methods User Interfaces Human Computer Interaction

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.

Source: The Handbook of Formal Methods in Human-Computer Interaction, pp. 505–525, 2017

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:369408,
	title = {A public tool suite for modelling interactive applications},
	author = {Manca M. and Paternò F. and Santoro C.},
	doi = {10.1007/978-3-319-51838-1_18},
	booktitle = {The Handbook of Formal Methods in Human-Computer Interaction, pp. 505–525, 2017},
	year = {2017}
}