Istituto di Scienza e Tecnologie dell'Informazione     
Mezzanotte M., Paterṇ F. Verification of properties of human-computer dialogues with an infinite number of states. Internal note CNUCE-B4-96-002, 1996.
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.
Subject application of formal techniques in user interface verification
modelling temporal aspects of interactions
model checking
user interface properties
H.5.2 User Interfaces
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional