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).
Sommario non disponibile.
Applying task models to en-route case study
Santoro C
1998
Abstract
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).File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
