By Topic

Visualizing Program Designs Through PegaSys

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Moriconi, M. ; SRI International ; Hare, D.F.

This article is an introduction to many of the interesting features of PegaSys, an experimental system that encourages and facilitates extensive use of graphical images as formal, machine- processable documentation. Unlike most other systems that use graphics to describe programs, the main purpose of PegaSys is to facilitate the explanation of program designs. What is particularly interesting about PegaSys is its ability to: (1) check whether pictures are syntactically meaningful, (2) enforce design rules throughout the hierarchical decomposition of a design, and (3) determine whether a program meets its pictorial documentation. Much of the power of PegaSys stems from its ability to represent and reason about different kinds of pictures within a single logical framework. Excerpts from a working session with PegaSys are used to illustrate the basic style of interaction as well as the three PegaSys capabilities.

Published in:

Computer  (Volume:18 ,  Issue: 8 )