NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Formalisms for user interface specification and designThe 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.
Document ID
19900007371
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Auernheimer, Brent J. (California State Univ. Fresno, CA, United States)
Date Acquired
September 6, 2013
Publication Date
October 1, 1989
Publication Information
Publication: University of Central Florida, NASA(ASEE Summer Faculty Fellowship Program
Subject Category
Computer Operations And Hardware
Accession Number
90N16687
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available