Title | ||
---|---|---|
TOWARD AUTOMATIC GENERATION OF USER INTERFACES: AbstractION OF INTERNAL STATES AND TRANSITIONS |
Abstract | ||
---|---|---|
In this paper we discuss a formal approach and methodology for reducing and Abstracting the internal states and transitions of a (discrete-event) system representation. The resulting Abstracted description, called the “user model,” forms the foundation of the user interface as it formulates the necessary modes, states and transitions that drive the interface. |
Year | DOI | Venue |
---|---|---|
2007 | 10.3182/20070904-3-KR-2922.00086 | IFAC Proceedings Volumes |
Keywords | DocType | Volume |
Computer Interfaces,Human Factors,Formal Methods | Conference | 40 |
Issue | ISSN | Citations |
16 | 1474-6670 | 0 |
PageRank | References | Authors |
0.34 | 5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Asaf Degani | 1 | 70 | 6.86 |
Michael Heymann | 2 | 184 | 23.54 |