This paper discusses the problem of verification of properties of user interfaces where the dialogue specification may have an infinite number of states. Recent techniques allow designers to get some results even in this particular case and we discuss when such results are useful for verifying the user interface properties.
Verification of properties of human-computer dialogues with an infinite number of states
Paterno' F.
1996
Abstract
This paper discusses the problem of verification of properties of user interfaces where the dialogue specification may have an infinite number of states. Recent techniques allow designers to get some results even in this particular case and we discuss when such results are useful for verifying the user interface properties.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_446354-doc_160470.pdf
accesso aperto
Descrizione: Verification of properties of human-computer dialogues with an infinite number of states
Dimensione
878.17 kB
Formato
Adobe PDF
|
878.17 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
