Accession Number:

ADA341504

Title:

Real-Time Software Visualization

Descriptive Note:

Final technical rept. Sep 93-Mar 96

Corporate Author:

KESTREL INST PALO ALTO CA

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE