'Using Data Flow Tools in Software Engineering'.

Abstract

In this paper we propose a generic configuration of tool capabilities. We categorize many of the available tools into a few broad classes, and show how these classes have properties which are nicely complementary. We hypothesize that testing, documentation and verification are three of the most important software production activities and suggest that these activities can be nicely supported by different configurations of representatives of these few tool classes.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1979
Accession Number
ADA076300

Entities

People

  • Leon J. Osterweil

Organizations

  • University of Colorado Boulder

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Algorithms
  • Anomaly Detection
  • Change Detection
  • Colorado
  • Computer Science
  • Computers
  • Databases
  • Detection
  • Dynamic Tests
  • Engineering
  • Equations
  • Information Processing
  • Sequences
  • Side Effects
  • Software Development
  • Specifications
  • Verification

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Theoretical Analysis.