23 search results - page 1 / 5 » A Scalable Formal Method for Design and Automatic Checking o... |
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
MBUI
2004
13 years 6 months ago
2004
AI
2010
Springer
13 years 4 months ago
2010
Springer
Today's computer-human interfaces are typically designed with the assumption that they are going to be used by an able-bodied person, who is using a typical set of input and ...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
TSE
1998
13 years 4 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...