Real-Time Software Visualization
Final technical rept. Sep 93-Mar 96
KESTREL INST PALO ALTO CA
Pagination or Media Count:
This report describes a formal approach to visualizing software specifications. The approach taken was to begin with a formal description of the entity to be visualized and repeatedly apply automated inference steps to transform the description into a form which could be rendered using standard techniques. The Specware specification construction environment was used to build specifications defining these visualizations. Several examples are included. In addition to visual representation, the role of sound in understanding and visualizing complex structures was also investigated.
- Computer Programming and Software