Amanote Research
Register
Sign In
Using Formal Specifications in the Design of a Human-Computer Interface
doi 10.1145/800049.801802
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1982
Authors
Robert J. K. Jacob
Publisher
ACM Press
Related search
Human-Computer Interface Design
The Human-Computer Interface
ACM SIGCSE Bulletin
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Human-Computer Interface in Computer-Based Concussion Assessment
Journal of Clinical Sport Psychology
Applied Psychology
Formal Specifications of Software Model Evolution Using Contracts
2008 Formal Methods in Computer-Aided Design
Incremental Validation of Formal Specifications
Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Having Fun in Learning Formal Specifications
EasyChair Preprints
