A Model of Large Program Development

  title={A Model of Large Program Development},
  author={Laszlo A. Belady and Meir M. Lehman},
  journal={IBM Systems Journal},
As a need for a discipline of software engineering has been recognized, the design, implementation, and maintenance of computer software has come into the forefront. The formulation of concepts of programming methodology, exemplified by Dijkstra's structured programming,' strikes at the roots of the problem. The realization is that a program, much as a mathematical theorem, should and can be provable. Recognition that a program can be proved correct as it is developed and maintained ,' and… CONTINUE READING
Highly Influential
This paper has highly influenced 32 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 590 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 241 citations

591 Citations

Citations per Year
Semantic Scholar estimates that this publication has 591 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

A Case Study in Evolution Dynamics, M.Sc. thesis, Department of Computing and Control, Imperial College of Science and Technology (Uaiversity of London)

  • H Hooton
  • A Case Study in Evolution Dynamics, M.Sc. thesis…
  • 1975

A Systems Viewpoint o j Programming Projects

  • L A Belady, M M Lehman
  • Imperial College Research Report
  • 1972

The Programming Process

  • M M Lehman
  • IBM Thomas J. Watson Research Center
  • 1969

A constructive approach to the problem of program correctness

  • E W Dijkstra
  • A constructive approach to the problem of program…
  • 1968