Browse Prior Art Database

WINDOW: A FORMALLY-SPECIFIED GRAPHICS-BASED TEXT EDITOR

IP.com Disclosure Number: IPCOM000148028D
Original Publication Date: 1973-Jun-30
Included in the Prior Art Database: 2007-Mar-28

Publishing Venue

Software Patent Institute

Related People

Gerhardt, Douglas: AUTHOR [+3]

Abstract

WIND0 W: A FORMALLY -SPECIFIED GRAPHICS-BASED TEXT EDITOR Dauglas Gerhardt and D. L. Parnas

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 11% of the total text.

Page 1 of 36

WIND0 W: A FORMALLY -SPECIFIED GRAPHICS-BASED TEXT EDITOR

Dauglas Gerhardt and D. L. Parnas

Computer Science Department

Carnegie-Mellon University

June, 1973

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) ,

ch .

[This page contains 1 picture or other non-text object]

Page 2 of 36

[This page contains 1 picture or other non-text object]

Page 3 of 36

WINDOW

PREFACE

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

[C331DG15 ]/A."

; the graphics ral "windows".
;ly open files. may invoke

 kernel editing ~ecification and

ructure of the ,eter, and our

DOW described

able from the WINDOW.MAN

[This page contains 1 picture or other non-text object]

Page 4 of 36

WINDOW
Interface Specification

INTERFACE SPECIFICATION

A technique [2] 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 [3].

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.

INTRODUCTION...