The formal specification of a visual display devices: design and implementation.
Authors
Hunter, James E.
Advisors
Davis, Daniel L.
Second Readers
Zyda, Michael J.
Subjects
abstraction
specification
algebraic
interface
resource
image data type
point block transfer
bit-mapped display
portability
specification
algebraic
interface
resource
image data type
point block transfer
bit-mapped display
portability
Date of Issue
1985-06
Date
June 1985
Publisher
Language
en_US
Abstract
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.
Type
Thesis
Description
Series/Report No
Department
Computer Science
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.