DocumentCode
588650
Title
Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty
Author
Ghosh, Koushik
Author_Institution
Miami Univ., Hamilton, OH, USA
fYear
2012
fDate
27-30 Nov. 2012
Firstpage
23
Lastpage
24
Abstract
Device-delay errors in interactive systems is critical in modeling user-interfaces. A novel formalism is created to model device-delay using a resource-based approach. The formalism is able to incorporate uncertainty in device-delay for interactive systems.
Keywords
formal verification; interactive systems; user interfaces; device-delay error; formal analysis; interactive systems; resource-based approach; user-device interaction; user-interfaces; Atmospheric modeling; Computational modeling; Delay; Interactive systems; Online banking; Uncertainty; formal modeling; interactive systems; model checking; uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
Conference_Location
Dallas, TX
Print_ISBN
978-1-4673-5048-8
Type
conf
DOI
10.1109/ISSREW.2012.38
Filename
6405410
Link To Document