CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe provide a mathematical model that supports the formal description of visual interfaces’ behaviour. The formalism is based on type-inference notation, in which each variable is defined in the domain of the interface basic widgets, and each transition from a given state of the interface to the following one is represented by the application of an inference rule. When a sequence of actions is made by the user, the behaviour of the corresponding interface is totally defined by the set of inference rules. This formalism allows the designer to formally verify the properties of the interface.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | A Formal Approach for Modeling Interactive Visual Interfaces |
| Autori: | |
| Data di pubblicazione: | 2011 |
| Abstract: | We provide a mathematical model that supports the formal description of visual interfaces’ behaviour. The formalism is based on type-inference notation, in which each variable is defined in the domain of the interface basic widgets, and each transition from a given state of the interface to the following one is represented by the application of an inference rule. When a sequence of actions is made by the user, the behaviour of the corresponding interface is totally defined by the set of inference rules. This formalism allows the designer to formally verify the properties of the interface. |
| Handle: | http://hdl.handle.net/11586/136813 |
| ISBN: | 978-1-4577-2135-9 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Copyright © 2020