145
click to vote
DSVIS
15 years 8 months ago
2005 Springer 
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
153
click to vote
DSVIS
15 years 8 months ago
2005 Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
118
click to vote
DSVIS
15 years 8 months 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...
130
click to vote
DSVIS
15 years 8 months ago
2005 Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
112
click to vote
DSVIS
15 years 5 months ago
2005 Springer
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...
|
Human Computer Interaction