Real-Time Software Visualization

Abstract : 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.