AFIPS, JOINT COMPUTER CONFERENCE, FALL ANAHEIM, CALIF, DEC 5-7 1972.

Following is the continuation of the list of titles and authors of 139 conference papers. Design Methodology for Reliable Software Systems. By B. H. Liskov. Summary of Progress Toward Proving Program Correctness. By T. A. Linden. Supercomputers for Ordinary Users. By D. J. Kuck. Texas Instruments Advanced Scientific Computer. By J. Watson. Production Implementation of an Associative Array Processor - STARAN. By J. A. Rudolph. SIFT - Software Implemented Fault Tolerance. By J. H. Wensley. TRIDENT - A New Maintenance Weapon. By R. M. Fitzsimons. Computer System Maintainability at the Lawrence Livermore Laboratory. By J. M. Burk and J. Schoonover. Retryable Processor. By G. H. Maestri. Evaluation Nets for Computer System Performance Analysis. By G. J. Nutt. Objectives and Problems in Simulating Computers. By T. E. Bell. Methodology for Computer Model Building. By A. De Cegama. LOGOS and the Software Engineer. By C. W. Rose. Some Conclusions from an Experiment in Software Engineering Techniques. By D. L. Parnas.