External Links

    Journal: ACM Computing Surveys

    Volume 8, Issue 4

    355 -- 357Raymond T. Yeh. Guest Editorial - Special Issue on Reliable Software: Part II: Fault-Tolerant Software
    359 -- 389Peter J. Denning. Fault Tolerant Operating Systems
    391 -- 407H. Hecht. Fault-Tolerant Software for Real-Time Applications
    409 -- 445Theodore A. Linden. Operating System Structures to Support Security and Reliable Software

    Volume 8, Issue 3

    301 -- 303Raymond T. Yeh. Guest Editorial - Special Issue on Reliable Software: Part I: Software Validation
    305 -- 330Lloyd D. Fosdick, Leon J. Osterweil. Data Flow Analysis in Software Reliability
    331 -- 353Sidney L. Hantler, James C. King. An Introduction to Proving the Correctness of Programs

    Volume 8, Issue 2

    155 -- 190Andrew S. Tanenbaum. A Tutorial on Algol 68
    191 -- 276Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann. A Sampler of Formal Definitions
    277 -- 300S. S. Reddi, Edward A. Feustel. A Conceptual Framework for Computer Architecture

    Volume 8, Issue 1

    1 -- 5Edgar H. Sibley. Guest Editor s Introduction: The Development of Data-Base Technology
    7 -- 42James P. Fry, Edgar H. Sibley. Evolution of Data-Base Management Systems
    43 -- 66Donald D. Chamberlin. Relational Data-Base Management Systems
    67 -- 103Robert W. Taylor, Randall L. Frank. CODASYL Data-Base Management Systems
    105 -- 123Dennis Tsichritzis, Frederick H. Lochovsky. Hierarchical Data-Base Management: A Survey
    125 -- 151Ann S. Michaels, Benjamin Mittman, C. Robert Carlson. A Comparison of the Relational and CODASYL Approaches to Data-Base Management
    runs on