PECAN: Program Development Systems that Support Multiple Views
IEEE Transactions on Software Engineering
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relations and attributes: A symbiotic basis for editing environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
PegaSys: A system for graphical explanation of program designs
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Visual abstraction in an interactive programming environment
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
A graphics-based programming-support system
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Adaptive subject description in document retrieval
Adaptive subject description in document retrieval
Visual programming—toward realization of user-friendly programming environments
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Algebraic specification of Macintosh's Quickdraw using OBJ2
ICSE '88 Proceedings of the 10th international conference on Software engineering
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
A program understanding support environment
IBM Systems Journal
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
From relational program dependencies to hypertextual access structures
Nordic Journal of Computing
Hi-index | 0.00 |
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 diagrams (FDDs). Icons in an FDD denote a wide range of data and control dependencies among the relatively coarse-grained 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.