WINDOW: A FORMALLY-SPECIFIED GRAPHICS-BASED TEXT EDITOR
Original Publication Date: 1973-Jun-30
Included in the Prior Art Database: 2007-Mar-28
Software Patent Institute
Gerhardt, Douglas: AUTHOR [+3]
WIND0 W: A FORMALLY -SPECIFIED GRAPHICS-BASED TEXT EDITOR Dauglas Gerhardt and D. L. Parnas
WIND0 W: A FORMALLY -SPECIFIED GRAPHICS-BASED TEXT EDITOR
Dauglas Gerhardt and D. L. Parnas
Computer Science Department
This work was supported by the National Science Found under Grant GJ 30127 and Grant G J 37728 to Carnegie- University and also by the Advanced Research Projects of the Office of the Secretary of Defense (F44620-70- monitored by the A i r Force Office of Scientific Resea
t ion ellon Agency -01 07) ,
WINDOW is a formally-specified text editing program which explc capabilities of crt terminals [I]. Terminal screens are divided into se Each window displays text from any of a number of simultaner Through the notion of linked "pointers", operations upon one f corresponding operations upon other files.
D. L. Parnas designed and produced the formal specification for system. Douglas Gerhardt implemented the kernel according to the developed a command interpreter.
This paper has three main sections covering the interface and kernel, the relationship between the kernel and the command inte~ experiences with this application of formal specification.
Drafts of this paper were edited using the implementation of W: in [I].
1. Gerhardt, D. L., "WINDOW: User's Manual," June, 1973. Av Carnegie-Mellon University Computer Science Department as "DSKB
; the graphics ral "windows".
;ly open files. may invoke
kernel editing ~ecification and
ructure of the ,eter, and our
able from the WINDOW.MAN
A technique  has been described for specifying the interface between parts of
software systems. In this paper, we have applied the same technique to the formal
specification-of a man-machine interface .
At first glance, such a specification appears to be a program written in a
high-order language, It is not. A program describes a process by listing a sequence
of actions to be performed by a lower level machine. A specification does not admit
the existense of such a machine. All of the functions mentioned in a formal
specification are available to the user. They are described, not be giving their
implementations, but by enumerating their effects upon each other. The result is a
"black box" description.
2. Parnas, D. L., "A Technique for Software Module Specification with Examples," May, 1972 COMMUNICATIONS OF THE ACM (Programming Techniques Department).
3. Parnas, D. L., "Sample Man Machine Interface Specification -- A Oraphics Based Line Editor," in DISPLAY USE FOR MAN-MACHINE DIALOG (W. Handler, J. Weizenbaum, eds.), published by Carl Hanser Verlag Munchen, 1972.