Accession Number : AD0779339

Title :   Reliability and Integrity of Large Computer Programs,

Corporate Author : CALIFORNIA UNIV BERKELEY ELECTRONICS RESEARCH LAB

Personal Author(s) : Ramamoorthy,C. V. ; Cheung,R. C. ; Kim,K. H.

Report Date : 12 MAR 1974

Pagination or Media Count : 78

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.

Descriptors :   *Computer programs, *Reliability, Computer programming, Efficiency, Costs, Mathematical logic, Coding, Data processing security, Network flows

Subject Categories : Computer Programming and Software
      Computer Systems Management and Standards

Distribution Statement : APPROVED FOR PUBLIC RELEASE