Export Citations
2 Results for: Book/Issue: EICS '09: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,829,152 records)|Limit your search to The ACM Full-Text Collection (772,633 records)
Showing 1 - 2of2 Results
Select All
- research-articleJuly 2009
A bisimulation-based approach to the analysis of human-computer interaction
EICS '09: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systemsPages 101–110https://doi.org/10.1145/1570433.1570454This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the system is doing something while it is in fact doing another thing. We consider ...
- research-articleJuly 2009
Interaction engineering using the IVY tool
EICS '09: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systemsPages 35–44https://doi.org/10.1145/1570433.1570442This paper is concerned with support for the process of usability engineering. The aim is to use formal techniques to provide a systematic approach that is more traceable, and because it is systematic, repeatable. As a result of this systematic process ...
