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