Theses and Dissertations
Now showing items 1-5 of 5
The design and implementation of a syntax directed editor for the specification language Spec
(Monterey, California. Naval Postgraduate School, 1989-06)
The formal specification language Spec is used for writing black-box specifications for large software systems. These black-box specifications describe the interface beteen a system and its users, as well as internal ...
An improved user interface for an interactive graphics figure illustrator
This study discusses briefly the history of technical figure illustration in the Computer Science Department of the Naval Postgraduate School. The single system experiencing the most usage is the fully automated interactive ...
An analysis of the INGRES database management system applications program development tools and programming environment.
This study examines the database application programming environment presented by the Applications-By-Forms (ABF) subsytem of the INGRES database managenent system (DBMS). The development of a bibliographical search and ...
How cognitive processes aid program understanding
A theoretical model of how an expert programmer goes about understanding a piece of software is presented. This understanding plays an especially critical role in software maintenance tasks. The model is based on three ...
Alteration of the CP/M-86 operating system
CP-M-86 is a microcomputer (INTEL 8086) operating system enveloped and marketed by Digital Research. The operating system is designed so that a user can adapt the system to his own input/output hardware devices. This ...
Branch Of Service
Lieutenant Commander, United States Navy (5)
Computer Science (5)
Department of Computer Science (5)