The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
The impact of mesa on system design
ICSE '79 Proceedings of the 4th international conference on Software engineering
Visual abstraction in an interactive programming environment
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Fundamentals of the AMBIT/L list-processing language
Proceedings of the symposium on Two-dimensional man-machine communication
A graphics-based programming-support system
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Graphical program development with PECAN program development systems
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The representation of families of software systems.
The representation of families of software systems.
Software development control based on system structure description
Software development control based on system structure description
A graphical workstation and programming environment for data-driven computation
A graphical workstation and programming environment for data-driven computation
Flowchart techniques for structured programming
ACM SIGPLAN Notices
The PegaSys System: pictures as formal documentation of large programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
TuringTool: A User Interface to Aid in the Software Maintenance Task
IEEE Transactions on Software Engineering
Linguistic support for the evolutionary design of software architectures
Proceedings of the 18th international conference on Software engineering
| Hi-index | 0.00 |
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.