Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models
作者： Harold Thimbleby
关键词:
摘要: Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream user interface development practice. This paper presents UI model discovery tools enable existing systems traditional processes benefit from methods; in particular, checking of safety-critical properties, contribute due diligence practices interactive design.
acm.org
swansea.ac.uk
swan.ac.uk
sci-hub.se 参考文章(16)
J. C. Silva, José Creissac Campos, João Saraiva, Combining formal methods and functional strategies regarding the reverse engineering of interactive applications DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification. ,vol. 4323, pp. 137- 150 ,(2006) , 10.1007/978-3-540-69554-7_11
Harold Thimbleby, Press On: Principles of Interaction Programming ,(2007)
Daniel Jackson, Software Abstractions: Logic, Language, and Analysis ,(2006)
Gerard J. Holzmann, Margaret H. Smith, Software model checking: extracting verification models from source code* Software Testing, Verification & Reliability. ,vol. 11, pp. 65- 79 ,(2001) , 10.1002/STVR.228
Harold Thimbleby, Interaction programming Proceedings of the 27th international conference extended abstracts on Human factors in computing systems - CHI EA '09. pp. 3811- 3816 ,(2009) , 10.1145/1520340.1520576
Harold Thimbleby, FEATUREIgnorance of interaction programming is killing people Interactions. ,vol. 15, pp. 52- 57 ,(2008) , 10.1145/1390085.1390098
Edmund M. Clarke, Jeannette M. Wing, Formal methods ACM Computing Surveys. ,vol. 28, pp. 626- 643 ,(1996) , 10.1145/242223.242257
Bonnie E. John, Konstantine Prevas, Dario D. Salvucci, Ken Koedinger, Predictive human performance modeling made easy human factors in computing systems. pp. 455- 462 ,(2004) , 10.1145/985692.985750
Laurent Bouillon, Jean Vanderdonckt, Kwok Chieu Chow, Flexible re-engineering of web sites intelligent user interfaces. pp. 132- 139 ,(2004) , 10.1145/964442.964468
J. Reason, Human error: models and management BMJ. ,vol. 320, pp. 768- 770 ,(2000) , 10.1136/BMJ.320.7237.768