156
click to vote
DSVIS
15 years 10 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 ...
162
click to vote
DSVIS
15 years 10 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...
125
click to vote
DSVIS
15 years 10 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...
137
click to vote
DSVIS
15 years 10 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 ...
119
click to vote
DSVIS
15 years 6 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