Title :
Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty
Author_Institution :
Miami Univ., Hamilton, OH, USA
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;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
978-1-4673-5048-8
DOI :
10.1109/ISSREW.2012.38
