Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Flexible re-engineering of web sites
Proceedings of the 9th international conference on Intelligent user interfaces
Predictive human performance modeling made easy
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Press On: Principles of Interaction Programming
Press On: Principles of Interaction Programming
FEATURE: Ignorance of interaction programming is killing people
interactions - We must redesign professional design education for the 21st century
SwingStates: adding state machines to Java and the Swing toolkit
Software—Practice & Experience
Crawling AJAX by Inferring User Interface State Changes
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
Interaction programming: next steps
CHI '09 Extended Abstracts on Human Factors in Computing Systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
User-centered methods are insufficient for safety critical systems
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
User interface model discovery: towards a generic approach
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Self-checking widgets for interactive cockpits
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Model-based dependability analysis of programmable drug infusion pumps
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Action graphs and user performance analysis
International Journal of Human-Computer Studies
| Hi-index | 0.00 |
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 to enable existing systems and traditional development processes to benefit from interaction programming tools and methods; in particular, to enable checking of safety-critical interaction properties, and to contribute to due diligence practices in safety-critical interactive systems design.