MEFISTO WP1-12
Paternò, F., Santoro, C.
Applying task models to en-route case study
One of the most interesting results of the application of formal methods in the HCI field is that precise descriptions of task models can be given. ConcurTaskTree supplies a hierarchical graphical notation providing a precise semantics for specifying concurrent task models, and this paper describes a first attempt for applying this notation on en-route case study, with the possibility to introduce data link communication in addition to the current tools (radiotelephony).
Home
Overview
Contact list
Planning of Work
Documents
Workspace
Related Links
Statistics