Structured Programming Series. Volume 15. Validation and Verification Study

Abstract

This volume reports on techniques currently used for verifying and validating computer programs and software systems. It also contains an analysis of the effect that structured programming technology will have on these techniques. This analysis addressed all phases of software development - definition, design, implementation, and evaluation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 22, 1975
Accession Number
ADA016668

Entities

People

  • Ronald L. Smith

Organizations

  • International Business Machines Corporation (Armonk, NY)

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Ground and Sea Platforms
  • Human Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Application Software
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Debugging
  • Energy Management
  • Operating Systems
  • Performance Tests
  • Programming Languages
  • Simulators
  • Software Development
  • Software Development Tools
  • Software Testing
  • Test And Evaluation
  • Test Methods

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Computer Science.