NASA NTRS · 19910010710
Formal specification of human-computer interfaces
Abstract
A 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.
Keep this discovery
Explore connections, maps & timelines
Auernheimer, Brent. 1990-09-01. Formal specification of human-computer interfaces. https://ntrs.nasa.gov/citations/19910010710
Cite the original work for its findings. Save a collection to share your selection of sources.