Loading...
Please wait, while we are loading the content...
Similar Documents
Formal specification of human-computer interfaces
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Auernheimer, Brent |
| Copyright Year | 1990 |
| Description | 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. |
| File Size | 1110980 |
| Page Count | 28 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19910010710 |
| Archival Resource Key | ark:/13960/t15n1468r |
| Language | English |
| Publisher Date | 1990-09-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Nasa Programs Human-computer Interface Logic Programming Specifications Display Devices Theorem Proving Computer Graphics Libraries University Program Programming Languages Computer Programs Information Systems Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |