Dependable keyed data entry for interactive systems

Electronic Communications of the EASST

Volumn 45, Issue , 2011, Pages

  Thimbleby, Harold ^a   Gimblett, Andy ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Dependability; Divergence; FSM; Keyed data entry

Indexed keywords

EID: 85018347235     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.45.642.658     Document Type: Conference Paper

References (18)

1. G. D. Abowd, J. Coutaz, L. Nigay. "Structuring the space of interactive system properties, " IFIP TC2/WG2.7Working Conference on Engineering for Human-Computer Interaction, 113-129, 1992
2. A. V. Aho, R. Sethi & J. D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986
3. A. Avižienis, J-C. Laprie, B. Randell, C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing, " IEEE Trans. Dependable and Secure Computing, 1(1):11-33, 2004
4. J. Back, D. P. Brumby, A. L. Cox, "Locked-out: Investigating the effectiveness of system lockouts to reduce errors in routine tasks, " ACM CHI, 3775-3780, 2010
5. N. Bevan, "Extending quality in use to provide a framework for usability measurement, " Lecture Notes in Computer Science, 5619:13-22, 2009
6. A. F. Blackwell, "SWYN: A visual representation for regular expressions, " in H. Lieberman, ed., Your wish is my command: Giving users the power to instruct their software, pp245-270, Morgan Kauffman, 2001
7. C. Brabrand, A. Møller, M. Ricky, M. I. Schwartzbach, "PowerForms: Declarative client-side form field validation, " World Wide Web Journal, 3(4):205-214, 2001
8. A. J. Dix, Formal Methods for Interactive Systems, Academic Press, 1991
9. W. J. Hansen, "User engineering principles for interactive systems, " AFIPS Fall Joint Computer Conference, 39:523-532, 1971
10. A. Johnson, A. R. Pritchett, "Experimental Study Of Vertical Flight Path Mode Awareness, " Proceedings 6th IFAC/IFIP/IFORS/IEA Symposium On Analysis, Design And Evaluation Of Man-Machine Systems, 1995. MIT Aeronautical Systems Laboratory Report ASL-95-3
11. ISO/IEC Standard 14977, Information technology-Syntactic metalanguage-Extended BNF, 1996
12. C. Jones, P. O'Hearn, J. Woodcock, "Verified software: A grand challenge, " IEEE Computer, 39(4):93-95, 2006
13. H. Thimbleby, "Interaction Walkthrough: Evaluation of safety critical interactive systems, " Lecture Notes in Computer Science, 4323:52-66, 2007
14. H. Thimbleby, Press On, MIT Press, 2007
15. H. Thimbleby, P. Cairns, "Reducing number entry errors: Solving a widespread, serious problem, " Journal Royal Society Interface, 7(51):1429-1439, 2010
16. H. Thimbleby, "Interactive systems need safety locks, " IEEE ITI International Conference on Information Technology Interfaces, pp29-36, 2010
17. H. Thimbleby, A. Gimblett, A. Cauchi, "Buffer Automata: A UI architecture prioritising HCI concerns for interactive devices, " ACM Engineering Interactive Computer Systems, 2011, in press
18. Tripwire Team, Truly useful form validation scripts for front end development, www.tripwiremagazine.com/2009/11/truly-useful-form-validation-scripts-for-front-enddevelopment. html, 2009