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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1998
Accession Number
ADA341504

Entities

People

  • Cordell Green
  • Jim Mcdonald
  • Rafael Furst
  • Stephen Westfold

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Air Platforms
  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Engineering
  • Graphical User Interface
  • Language
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • Three Dimensional
  • Visualizations

Fields of Study

  • Computer science
  • Engineering

Readers

  • Distributed Systems and Data Platform Development
  • Software Engineering.

Technology Areas

  • AI & ML