Abstract, generic models of interactive systems

Authors:
Alan Dix
Affiliations:
Univ. of York, UK
Venue:
Proceedings of the Fourth Conference of the British Computer Society on People and computers IV
Year:
1988

Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces

DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
The end of cognition?

BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 2
Automatic verification for interactive graphical programs

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications

Hi-index	0.00