Interaction programming: Next steps

Conference on Human Factors in Computing Systems - Proceedings

Volumn , Issue , 2009, Pages 3811-3816

  Thimbleby, Harold ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Discovery tools; Interaction programming; Model checking

Indexed keywords

DEVELOPMENT PROCESS; DISCOVERY TOOLS; EXISTING SYSTEMS; INTERACTION DESIGN; INTERACTION PROGRAMMING;

ABSTRACTING; COMPUTER SCIENCE; HUMAN ENGINEERING;

MODEL CHECKING;

EID: 70349185201     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1520340.1520576     Document Type: Conference Paper

References (6)

1. Holzman, G. J. & Smith, M. H. Software Model Checking: Extracting Verification Models from Source Code, Proc. Software Testing, Verification and Reliability (2001) 11:65-79.
2. John, B. E., Prevas, K., Salvucci, D. D. & Koedinger, K. Predictive Human Performance Modeling Made Easy, Proc. ACM CHI (2004) 455-462.
3. Memon, A., Banerjee, I. & Nagarajan, A. GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing, Proc. Working Conf. on Reverse Engineering, WCRE 2003 (2003) 260-269.
4. Mesbah, A., Bozdag, E. & van Deursen, A. Crawling AJAX by Inferring User Interface State Changes, Proc. 8th Int. Conf. Web Engineering, ICWE08 (2008) 122-134.
5. Thimbleby, H. Press On: Principles of Interaction Programming. MIT Press, Boston, Mass. USA (2007).
6. Thimbleby, H. Ignorance of interaction programming is killing people, ACM Interactions (2008) 52-57, September+October.