Accession Number:

AD0779339

Title:

Reliability and Integrity of Large Computer Programs,

Descriptive Note:

Corporate Author:

CALIFORNIA UNIV BERKELEY ELECTRONICS RESEARCH LAB

Report Date:

1974-03-12

Pagination or Media Count:

78.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE