180 search results - page 9 / 36 » An extension of UML for the modeling of WIMP user interfaces |
VL
1999
IEEE
13 years 11 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
CHI
2005
ACM
14 years 7 months ago
2005
ACM
The subArctic user interface toolkit has extensibility as one of its central goals. It seeks not only to supply a powerful library of reusable interactive objects, but also make i...
DSVIS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
BDIM
2008
IEEE
14 years 1 months ago
2008
IEEE
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...