The formal specification of a visual display devices: design and implementation.
Hunter, James E.
Davis, Daniel L.
Zyda, Michael J.
MetadataShow full item record
The visual display is usually treated as a separate I/O device. The interface to the programmer is at a low conceptual level and vaguely defined. Software that uses sophisticated displays are notoriously non-portable. In this study, we apply techniques using an axiom specification method to design, specify, and implement the resources of a bit-mapped color display device which is fully integrated with an abstract processor called AM. In conjunction, we provide a precise and high conceptual interface to the resource to facilitate image programming.
Approved for public release; distribution is unlimited