Accession Number:
ADA341504
Title:
Real-Time Software Visualization
Descriptive Note:
Final technical rept. Sep 93-Mar 96
Corporate Author:
KESTREL INST PALO ALTO CA
Personal Author(s):
Report Date:
1998-03-01
Pagination or Media Count:
75.0
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.
Descriptors:
Subject Categories:
- Computer Programming and Software