Reliability and Integrity of Large Computer Programs,

Abstract

The report discusses the reliability and correctness of computer programs. Methods for decreasing costs, increasing efficiency, improving security, and testing of large computer programs are presented.

Document Details

Document Type
Technical Report
Publication Date
Mar 12, 1974
Accession Number
AD0779339

Entities

People

  • C. V. Ramamoorthy
  • K. H. Kim
  • R. C. Cheung

Organizations

  • University of California, Berkeley

Tags

DTIC Thesaurus Topics

  • Computer Programs
  • Computers
  • Efficiency
  • Reliability
  • Security

Fields of Study

  • Computer science
  • Physics

Readers

  • Life Cycle Cost Analysis
  • Parallel and Distributed Computing.