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
Formal specification of human-computer interfacesA high-level formal specification of a human computer interface is described. Previous work is reviewed and the ASLAN specification language is described. Top-level specifications written in ASLAN for a library and a multiwindow interface are discussed.
Document ID
19910010710
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Auernheimer, Brent (California State Univ. Fresno, CA, United States)
Date Acquired
September 6, 2013
Publication Date
September 1, 1990
Publication Information
Publication: NASA, John F. Kennedy Space Center, Research Reports: 1990 NASA(ASEE Summer Faculty Fellowship Program
Subject Category
Computer Programming And Software
Accession Number
91N20023
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