Specification of an operating system kernel forest and VDM compared
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
The Z notation: a reference manual
The Z notation: a reference manual
Elements of interaction: Turing award lecture
Communications of the ACM
Integrating theoreticians' and practitioners' perspectives with design rationale
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
The cognitive walkthrough method: a practitioner's guide
Usability inspection methods
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Using Interaction Framework to guide the design of interactive systems
International Journal of Human-Computer Studies
Multi-perspective modelling of interface design issues: undo in a collaborative editor
HCI '94 Proceedings of the conference on People and computers IX
A generic platform for addressing the multimodal challenge
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Multidisciplinary modelling in HCI design…in theory and in practice
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Integrating user and computer system concerns in the design of interactive systems
International Journal of Human-Computer Studies
Communication and Concurrency
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Mural: A Formal Development Support System
Mural: A Formal Development Support System
An Invitation to Formal Methods
Computer
From Formal Models to Formal Methods
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
Sharing Actions and Attributes in Modal Action Logic
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study
HCI '96 Proceedings of HCI on People and Computers XI
Duration Calculi: An Overview (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Human-Computer Interaction
Representing cognitive activity in complex tasks
Human-Computer Interaction
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
Towards model based prediction of human error rates in interactive systems
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Using Hybrid Automata to Support Human Factors Analysis in a Critical System
Formal Methods in System Design
Detecting Multiple Classes of User Errors
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
A formal approach to the usability engineering
Proceedings of the Latin American conference on Human-computer interaction
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
Formal Modelling of Salience and Cognitive Load
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System
Interactive Systems. Design, Specification, and Verification
Representing cognitive activity in complex tasks
Human-Computer Interaction
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach
INTERACT '09 Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I
Will it be a capital letter: signalling case mode in mobile phones
Interacting with Computers
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Rapid specification and automated generation of prompting systems to assist people with dementia
Pervasive and Mobile Computing
People, sensors, decisions: Customizable and adaptive technologies for assistance in healthcare
ACM Transactions on Interactive Intelligent Systems (TiiS) - Special issue on highlights of the decade in interactive intelligent systems
Hi-index | 0.00 |
User and system models typically are viewed as independent representations that provide complementary insights into aspects of human-computer interaction. Within system development, it is usual to see the 2 activities as separate, or at best loosely coupled, with either the design artifact or some third "mediating" expression providing the context in which the results of modelling can be related. This article proposes that formal system models can be combined directly with a representation of human cognition to yield an integrated view of human-system interaction: a syndetic model. Aspects of systems that affect usability then can be described and understood in terms of the conjoint behavior of user and computer. This article introduces and discusses, in syndetic terms, 2 scenarios with markedly different properties. We show how syndesis can provide a formal foundation for reasoning about interaction.