A graphics-based programming-support system

Frei, Hanspeter; Weller, D. L.; Williams, Robin L.

doi:10.1145/965139.807368

Cited by 16 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In some systems programming is done by spatial arrangement of icons [4,8,11,17,18], and in others algorithms are explained by animating dynamic execution (2,3,5,6,12,16]. These systems deal primarily with individual algorithms or data structures, while PegaSys is concerned with how algorithms and data structures are put together to form a larger system.…”

Section: Related Systemsmentioning

confidence: 99%

The PegaSys System: pictures as formal documentation of large programs

Moriconi

Hare

1986

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

PegsSys is an experimental system in which a user formally describes how a program is put together by means of a hierarchically structured collection of pictures, called formal dependency d+tmae (FDDs). Icons in an FDD denote a wide range of data and control dependencies among the relatively coarsegrained entities contained in large programs. Dependencies considered atomic with respect to one level in a hierarchy can be decomposed into a number of dependencies at a lower level. Each dependency can be a predefined primitive of the FDD language or it can be defined by a PegaSys user in terms of the primitives.A PegsSys user is given the illusion that logical formulas do not exist, even though PegaSys reasons about them internally. This involves (1) checking whether an FDD is meaningful syntactically, (2) determining whether hierarchical refinements of an FDD are methodologically sound, and (3) deciding whether an FDD hierarchy is logically consistent with the program that it is intended to describe. The techniques used to provide these capabilities are discussed along with the logical properties that enable PegaSys to maintain the user illusion.

show abstract

Section: Related Systemsmentioning

confidence: 99%

The PegaSys System: pictures as formal documentation of large programs

Moriconi

Hare

1986

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

show abstract

“…This is true of systems for "animating" dynamic program execution [1,2,4,11,15] as well as those for programming by spatial arrangement of icons [3,8,16,20,24]. Pictures in PegaSys have a fundamentally different purpose; they are intended to describe the overall design of a program.…”

Section: Related Workmentioning

confidence: 99%

PegaSys

Moriconi

Hare

1985

SIGPLAN Not.

View full text Add to dashboard Cite

This paper is an initial report on a system, called PegaSys, that supports a new visual paradigm for describing and manipulating programs and their designs. A program design is described by a hierarchically structured collection of graphical pictures. These pictures are intended to be easy to understand, yet still serve as formal program documentation. Pictures in PegaSys capture a variety of concepts, including (but not limited to) what we believe to be the important design concepts represented in flowcharts, structure charts, dataflow diagrams, and module interconnection languages. PegaSys treats pictures as computationally meaningful structures, checking whether they make sense syntactically, whether hierarchical picture refinements adhere to certain methodological principles, and whether a picture is logically consistent with a program. This paper describes the key ideas that enable PegaSys to provide these capabilities, as well as important properties of the PegaSys design and underlying logical framework. PegaSys has been implemented on Xerox personal computers and takes advantage of a high-resolution bitmap display.

show abstract

PIGS—A system for programming with interactive graphical support

Pong

1983

Softw Pract Exp

View full text Add to dashboard Cite

This paper describes an implementation of a system for programming using structured charts with interactive graphical support. It provides a graphical editor for the user to interactively build and edit programs using Nassi‐Shneiderman diagrams (NSD)1 as the structured control constructs of logic flow. It can interpret a program in NSD chart form, and the execution sequence of the NSD is displayed at a graphical terminal. On‐line debugging and testing facilities are available which allow the user to examine and modify the program under execution. The system has been designed with the aim of supporting the development, debugging, testing, documentation and maintenance of programs in the same environment.

show abstract

A graphics-based programming-support system

Cited by 16 publications

References 9 publications

The PegaSys System: pictures as formal documentation of large programs

The PegaSys System: pictures as formal documentation of large programs

PegaSys

PIGS—A system for programming with interactive graphical support

Contact Info

Product

Resources

About