The Formal Specification of a Visual display Device: Design and Implementation.

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 is notoriously non-portable. In this thesis, 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 (Abstract Machine). In conjunction, we provide a precise and high conceptual interface to the resource to facilitate image programming. Keywords: Abstraction; Specification; Algebraic; Interface; Resource; Image data type; Point block transfer; Bit-mapped display; Portability.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1985
Accession Number
ADA159096

Entities

People

  • J. E. Hunter

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Computer Architecture
  • Computer Graphics
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Engineering
  • Graphics
  • Instruction Set Architecture
  • Object Code
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Human-Computer Interaction (HCI).
  • Systems Analysis and Design