Guidelines for the Design and Implementation of Reliable Software Systems

Abstract

The document describes experimental guidelines governing the production of reliable software systems. Both programming and management guidelines are proposed. The programming guidelines are intended to enable programmers to cope with a complex system effectively. The management guidelines describe an organization of personnel intended to enhance the effect of the programming guidelines.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1973
Accession Number
AD0757905

Entities

People

  • B. H. Liskov

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Asynchronous Systems
  • Classification
  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Computers
  • Contractors
  • Contracts
  • Debugging
  • Hierarchies
  • Language
  • Organizational Structure
  • Reliability
  • Standards
  • Structured Programming
  • United States

Fields of Study

  • Computer science
  • Engineering

Readers

  • Instructional Design and Training Evaluation.
  • Parallel and Distributed Computing.