From Formal Models to Formal Methods

Authors:
David J. Duke;Michael D. Harrison
Affiliations:
-;-
Venue:
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
Year:
1994

On the effective use and reuse of HCI knowledge

ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Systems, interactions, and macrotheory

ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Interpersonal access control in computer-mediated communications: a systematic analysis of the design space

Human-Computer Interaction
Syndetic modelling

Human-Computer Interaction

Hi-index	0.00