NASA NTRS · 19900007371
Formalisms for user interface specification and design
Abstract
The application of formal methods to the specification and design of human-computer interfaces is described. A broad outline of human-computer interface problems, a description of the field of cognitive engineering and two relevant research results, the appropriateness of formal specification techniques, and potential NASA application areas are described.
Keep this discovery
Explore connections, maps & timelines
Auernheimer, Brent J.. 1989-10-01. Formalisms for user interface specification and design. https://ntrs.nasa.gov/citations/19900007371
Cite the original work for its findings. Save a collection to share your selection of sources.