We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
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
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.