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
Paterno' F.;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:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_412121-doc_145104.pdf
accesso aperto
Descrizione: Applying task models to en-route case study
Tipologia:
Altro materiale allegato
Licenza:
Nessuna licenza dichiarata (non attribuibile a prodotti successivi al 2023)
Dimensione
375.09 kB
Formato
Adobe PDF
|
375.09 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
