Statecharts: A visual formalism for complex systems
Science of Computer Programming
PetShop: a tool for the formal specification of CORBA systems
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
User Interface Management Systems: Models and Algorithms
User Interface Management Systems: Models and Algorithms
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Using formal specifications in the design of a human-computer interface
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
IEEE Transactions on Software Engineering
Programming rich interactions using the hierarchical state machine toolkit
Proceedings of the working conference on Advanced visual interfaces
SwingStates: adding state machines to the swing toolkit
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Generating interactive applications from task models: a hard challenge
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Hi-index | 0.00 |
In order to design interactive applications, the first step is usually the definition of user needs. While performing this step, activities may be modeled using task models. Some task model components express scheduling information that describes the task dynamics. According to a model-based approach, the dynamics of applications (i.e.: the dialog) can be formalized using a dialog model. Several approaches seek to exploit the task model information to perform the dialog model. This paper aims to show that the use of the hierarchical dialog model facilitates its design according to task model information during the whole iterative design process.