Programs, Life Cycles, and Laws of Software Evolution

Proceedings of the IEEE

Volumn 68, Issue 9, 1980, Pages 1060-1076

  Lehman, Meir M ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE;

EID: 0019058442     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/PROC.1980.11805     Document Type: Article

References (91)

1. J. Goldberg, Ed., in Proc. Symp. High Cost of Software (Naval Post-grad. School, Monterey, CA). Menlo Park, CA: SRI, 1973, 138 pp.
2. M. M. Lehman, “The environment of design methodology,” Keynote Address, in Proc. Symp. Formal Design Methodology, T. A. Cox, Ed. (Cambridge, England), Apr. 1979. Harlow, England: STL Ltd., 1980, pp. 18-38.
3. “The software engineering environment,” Infotech State of the Art Rep., “Structured software development,” P. J. L. Wallis, Ed., vol. 2, pp. 147-163, 1979.
4. W. A. Wulf, “Languages and structured programs,” in Current Trends in Programming Methodology, R. T. Yeh, Ed. Engle-wood Cliffs, NJ: Prentice-Hall, 1977, pp. 33-60.
5. L. A. Belady, Ed., Proc. IEEE Special Issue on Software Engineering, vol. 68, Sept. 1980.
6. B. W. Boehm “Software engineering,” IEEE Trans. Comput., vol. C-2S, pp. 1226-1241, Dec. 1976.
7. W. M. Turski, Computer Programming Methodology. London, England: Heyden, 1978, 208 pp.
8. B. W. Boehm, “Software engineering-As it is,” in Proc. 4th Int. Conf. Software Engineering (Munich, Germany), pp. 11-21, Sept. 1979. (IEEE Cat. no. 79CH1479-SC.)
9. L. A. Belady and M. M. Lehman, “Characteristics of large systems,” in Research Directions in Software Technology, P. Wegner, Ed. Cambridge, MA: M.I.T. Press, 1979, part I, cn. 3, pp. 106-142 (sponsored by the Tri-Services Committee of UoD); and in Proc. Conf. Research Directions in Software Technology (Brown University, Providence, RI), Oct. 10-12, 1977.
10. M. M. Lehman, “Programs, cities, students-Limits to growth?” Inaugural Lecture, May 14, 1974, ICST Inaugural Lecture Series, vol. 9, pp. 211-229, 1970-1974; and in Programming Methodology, D. Gries, Ed. New York: Springer-Verlag, 1979, pp. 42-69.
11. “On understanding laws, evolution and conservation in the large program life-cycle,” J. Syst. Software, vol. 1, no. 3, pp. 213-232, 1980.
12. W. M. Turski, “Report on an SRC-sponsored visit to Imperial College,” Dep. Computing, Imperial College of Science and Technology, Univ. of London, London, England, Oct. 1979, 2 pp.
13. F. L. Bauer, H. Partsch, P. Pebber, and H. Wessner, “Notes on the project-CIP: An outline of a transformation system,” TUM-1NFO-7729, Tech. Univ. Munich, 67 pp, 1977.
14. J. Darlington, “Programming transformation: An introduction and survey,” Comput. Bull., ser. 2, no. 22, pp. 22-24, Dec. 1979.
15. “l, The Sciences of the Artificial. Cambridge, MA: M.I.T. Press, 1969, 123 pp.
16. R. A. Demillo, R. J. Lipton, and A. J. Perils, “Social processes and proofs of theorems and programs,” Commun. Ass. Comput. Mach., vol. 22, no. 5, pp. 271-280, May 1979; and no. 11, pp. 621-630, Nov. 1979.
17. C. A. R. Hoare, “Review of a paper by Demillo, Lipton and Perlis: 'Social processes and proofs of theorems and programs,'” ACM Comput. Rev., vol. 22, no. 8, rev. no. 34897, p. 324, Aug. 1979.
18. E. W. Dijkstra, “A constructive approach to the problem of program correctness,” Nordisk Tidsrift for Informations. Bahandling, Sweden, vol. 8, pp. 174-186, 1969.
19. C. A. R. Hoare, “An axiomatic basis for computer programming,” Commun. Ass. Comput. Mach., vol. 12, no. 10, pp. 576-583, Oct. 1969.
20. D. L. Parnas, “On the criteria to be used in decomposing systems into modules,” Commun. Ass. Comput. Mach., vol. 15, no. 12, pp. 1053-1058, Dec. 1972.
21. N. Wirth, “Program development by stepwise refinement,” Commun. Ass. Comput. Mach., vol. 14, no. 4, Apr. 1971, pp. 221-227.
22. E. W. Dijkstra, “Notes on structured programming,” in Structured Programming, O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Eds. New York: Academic Press, 1972, pp. 1-81.
23. M. A. Jackson, Principles of Program Design. London, England: Academic Press, 1975, 299 pp.
24. N. Wirth, “The module: A system structuring facility in high-level programming languages,” in Proc. Symp. Programming Languages and Programming Methods (Sydney, Austral.), J. Tobias, Ed. Lucas Hts., New South Wales: AAEC, 1979.
25. B. Liskov and S. Zilles, “An introduction to formal specification of data abstraction,” in Current Trends in Programming Methodology, vol. 1, Software Specification and Design, R. T. Yeh, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1977, pp. 1-32.
26. C. Jones, Software Development-A Rigorous Approach, Engle-wood Cliffs, NJ: Prentice-Hall, 1980, 400 pp.
27. M. Shaw, “The impact of abstraction concerns on modern programming languages,” this issue, pp. 1119-1130.
28. M. M. Lehman, “The funnel-A functional channel,” Imperial College, Dep. Computing, Univ. of London, Res. Rep. 77/29, July 1977, 14 pp.; and IBM Tech. Disclosure Bull., 1976.
29. O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming. New York: Academic Press, 1972, 220 pp.
30. R. C. Linger, and H. D. Mills, “On the development of large, reliable programs,” in Current Trends in Programming Methodology, vol. 1, Software Specification and Design, R. T. Yeh, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1977, pp. 120-139.
31. M. M. Lehman, “OS-VS2-MVS long range prognosis,” Private communication, MML-104, 13 pp. Apr. 15, 1975.
32. T. A. Dolotta and J. R. Mashey, “An introduction to the programmer's workbench,” in Proc. 2nd Int. Conf. Software Engineering (San Francisco, CA) Oct. 1976. (IEEE Cat. no. 76CH-1125-4C, Oct. 1976, pp. 164-168.)
33. A. F. Hutchings, R. W. McGuffin, A. E. Elliston, B. R. Trauter, and P. N. Westmacott, “CADES-Software engineering in Practice,” Proc. 4th Int. Conf. Software Engineering (Munich, Germany), Sept. 1979. (IEEE Cat. no. 79CH-1479-5C, Sept. 1979, pp. 136-152.)
34. J. N. Buxton, “Requirements for ADA programming support environment-STONEMAN,” U.S. Dep. of Defense, Washington, DC, 44 pp., Feb. 1980.
35. T. E. Bell, D. C. Bixler, and M. E. Dyer, “An extendable approach to computer-aided software requirements engineering,” IEEE Trans. Software Eng., vol. SE-3. pp. 49-59, Jan. 1977.
36. M. W. Alford, “Software requirements engineering methodology (SREM) at the age of two,” in Proc. COMPSAC 78, pp. 332-339, Nov. 1978. (IEEE Cat. no. 78CH1338-3C.)
37. K. Heninger, “Specifying requirements tor complex systems: New techniques and their application,” in Proc. Specification of Reliable Software Conf., pp. 1-14, Mar. 1979. (IEEE Cat. no. 74CH1401-9C.)
38. R. T. Yeh, and P. Zave, “Specifying software requirements,” this issue, pp. 1077-1085.
39. W. P. Stevens, G. J. Myers, and L. L. Constantine, “Structured design,” IBM Syst. J., vol. 13, no. 2, pp. 115-139, 1974.
40. G. J. Myers, Composite/Structured Design. New York: Van Nostrand Reinhold, 1978, 134 pp.
41. D. T. Ross, and K. E. Schoman, “Structuring analysis for requirements definition,” IEEE Trans. Software Eng., vol. SE-3, pp. 6-15, Jan. 1977.
42. “Structured analysis (SA): A language for communicating ideas,” IEEE Trans. Software Eng., vol. SE-3, pp. 16-33, Jan. 1977.
43. T. Demarco, Structured Analysis and System Specification. New York: Yourdon Press, 1978, 352 pp.
44. B. W. Liskov and V. Berzins, “An appraisal of program specifications,” in Research Directions in Software Technology, P. Wegner, Ed. Cambridge, MA:M.I.T. Press, 1979, Part 2.1, ch. 7, pp. 106-142 (sponsored by the Tri-Services Committee of DoD); and in Proc. Conf. Research Directions in Software Technology (Brown University, Providence, RI), pp. 276-301, Oct. 10-12, 1977.
45. J. N. Buxton, and E. Randell, Eds., “Software engineering techniques,” Rep. Conf. sponsored by the NATO Science Committee (Rome, Italy), Oct. 1969. (Brussels, 164 pp, 1970.)
46. P. Van Leer, “Top-down development using a program design language,” IBM Syst. J., vol. 15, no. 2, pp. 155-170, 1976.
47. Teichroew and E. A. Hershey III, “PSL/PSA: A computer-aided technique for structured documentation and analysis of information processing systems,” IEEE Trans. Software Eng., vol. SE-3, pp. 41-48, Jan. 1977.
48. R. P. Yeh, “Current trends in programming methodology,” vol. 1, Software Specification and Design. Englewood Cliffs, NJ: Prentice-Hall, 1977, 275 pp.
49. T. A. Cox, Ed., Proc. Symp. Formal Design Methodology (Cambridge, England), 1977. Harlow, England: STL Ltd., 1980, 350 pp.
50. F. W. Zurcher and B. Randell, “Iterative MultiLevel modelling- A methodology for computer system design,” in Proc. IFIP Congr. 1968 (Edinburgh, Scotland), pp. Dl 38-142, Aug. 1968.
51. L. Peters, “Software design engineering,” this issue, pp. 1085-1093.
52. G. H. Swaum, Top-Down Structured Design Techniques. New York: Petrocelli Books, 1978, 140 pp.
53. E. Miller and W. E. Howden, Eds., “Tutorial:Software testing and validation technique,” IEEE Comput. Soc, 423 pp., 1978. (IEEE Cat. no. EHO-138-8.)
54. J. B. Goodenough and L. M. Clement, “Software quality assurance testing and validation,” this issue, pp. 1093-1098.
55. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” IEEE Trans Software Eng., vol. SE-1, pp. 156-173, June 1975.
56. L. A. Belady and P. M. Merlin, “Evolving parts and relations-A model of system families,” IBM Res. Rep. RC6677, 14 pp, Aug. 1977.
57. M. M. Lehman and L. H. Putnam, Eds., “Software phenomenology, working papers of the (first) software life cycle management workshop (Airlie, VA), Aug. 1977. Fort Belvoir, VA: ISRAD/AIRMICS, Computer Systems Command, U.S. Army, Dec. 1977, 682 pp.
58. U. R. Basili, E. Ely, and D. Young, Eds., “Second software life-cycle management workshop, 21-22 Aug. 1978 (Atlanta, GA),” 220 pp., Dec. 1978. (IEEE Publ. no. 78CH1390-4C.)
59. C. P. Felix and C. E. Walston, “A method of programming measurement and estimation,”IBM Syst. J., vol. 16, no. 1, pp. 54-73, 1977.
60. L. H. Putnam and R. W. Wolverton, “Quantitative management-Software cost estimating,” in Proc. Comp. Soc. 77, IEEE Computer Software and Applications Conf. (Tutorial), 326 pp., Nov. 1977. (IEEE cat. no. EH0129-7.)
61. L. H. Putnam, “The influence of the time-difficulty factor in large scale development” in Proc. Software Phenomenology Working Papers of the (first) Software Life-cycle Management Workshop (Airlie VA), Aug. 1977. Fort Belvoir, VA: ISRAD/ AIRMICS, Computer Systems Command, U.S. Army, Dec. 1977, pp. 307-312.
62. B. W. Boehm, and R. W. Wolverton, “Software cost modelling-Some lessons learned,” in Proc. 2nd Software Life-cycle Management Workshop, Aug. 21-22, 1978 (Atlanta, GA) pp. 129-132, Dec. 1978. (IEEE Publ. no. 78CH1390-4C.)
63. F. N. Parr, “An alternative to the Rayleigh curve model for software development effort,” IEEE Trans. Software Eng., vol. SE-6, May 1980, pp. 291-296.
64. S. C. Aron, The Program Development Process, Part II The Pro gramming Team. Reading, MA: Addison-Wesley, 1980.
65. M. Hahtead, Elements of Software Science. New York: Elsevier, 1977, 127 pp.
66. A. Fitzsimmons and T. Love, “A review and evaluation of software science,” Computing Survey, vol. 10, no. 1, pp. 3-18, Mar. 1978.
67. D. B. Johnston and A. M. Lister, “Software science and student programs,” Software: Pract. and Exp., vol. 10, no. 2, pp. 159-1960, Feb. 1980.
68. M. M. Lehman, “The programming process,” IBM Res. Rep. RC2722, p. 47, Dec. 1969.
69. L. A. Belady and M. M. Lehman, “Programming system dynamics or the meta-dynamics of systems in maintenance and growth,” IBM Res. Rep. RC3516, 30 pp, Sept. 1971.
70. M. M. Lehman, “Programming systems growth dynamics,” info-tech State of the Art Lectures, no. 18, “Computer reliability,” State of the Art Lectures, no. 20, pp. 391-412, 1974.
71. L. A. Belady and M. M. Lehman, “A model of large program development,” IBM Syst. J., vol. 15, no. 3, pp. 225-252, 1976.
72. J. S. Riordan, “An evolution dynamics model” in Proc. Software Phenomenology, Working Papers of the (first) Software Life-cycle Management Workshop (Airlie, VA) Aug. 1977,” ISRAD/ AIRMICS, Computer Systems Command, U.S. Army, (Fort Belvoir, VA), pp. 339-360, Dec. 1977.
73. J. K. Patterson and M. M. Lehman, “Preliminary CCSS systems analysis using evolution dynamics techniques,” in Proc. Software Phenomenology, Working Papers of the (first) Software Life-cycle Management Workshop (Airlie, VA), Aug. 1977, ISRAD/AIRMICS, Computer Systems Command, U.S. Army, Fort Belvoir, VA, Dec. 1977, pp. 324-332.
74. M. Woodside, “A mathematical model for the evolution of software,” J. Syst Software, vol. 1, no. 3, 1980.
75. C. K. S. Chon Hok Yuen, “A Phenomenology of Program Maintenance and Evolution,” Ph.D. dissertation, Dep. Computing, Imperial College of Science and Technology, Univ. of London, London, England, to be published.
76. M. M. Lehman, “Programs, programming and the software life-cycle,” CCD-ICST Res. Rep. 80/6, 48 pp. Apr. 1980.
77. “Human thought and action as an ingredient of system behavior,” in Encyclopaedia of Ignorance, Duncan and Weston-Smith, Eds., Oxford, England: Pergamon Press, 1977, pp. 347-354.
78. “Laws of program evolution-Rules and tools for programming management,” Infotech State of the Art Conf., “Why software projects fail,” pp. 11/1-11/25, Apr. 9-11, 1978.
79. M. M. Lehman and F. N. Parr, “Program evolution and its impact on software engineering,” in Proc. 2nd Int. Conf. Software Engineering (San Francisco, CA), pp. 350-357, Oct. 1976. (IEEE Cat.no. 76CH112S-4C.)
80. F. P. Brooks, The Mythical Man-Month-Essays on Software Engineering. Reading, MA: Addison-Wesley, 1975, 195 pp.
81. P. Naur and B. Randell, Eds., “Software engineering: Report on a conference sponsored by the NATO science Committee,” (Garmisch, Germany), Oct. 7-11, 1968.' Brussels, Belgium: Scientific Affairs Division, NATO, 1969, 231 pp.
82. B. W. Boehm, J. R. Brown, and M. Lipow, “Quantitative evaluation of software quality,” in Proc. 2nd Int. Conf. Software Engineering (San Francisco, CA), pp. 592-605, Oct. 1976. (IEEE Cat.no. 76CH1124-4C.)
83. F. N. Parr and M. M. Lehman, “State of the art survey of software reliability,” Dep. Computing, Imperial College, London, England, Res. Rep. 77/15, 102 pp.
84. J. D. Musa, “The measurement and management of software reliability,” this issue, pp. 1131-1143.
85. T. I. McCabe, “A complexity Measure,” IEEE Trans. Software Eng., vol. 2, pp. 308-320, Dec. 1976.
86. M. “M. Lehman, ”Complexity and complexity change of a large applications program,” ERO Research Proposal, 32 pp, Mar. 1977.
87. L. A. Belady, “Software complexity,” in Proc. Software Phenomenology, Working Papers of the (first) Software Life Cycle Management Workshop (Airlie VA) Aug. 1977. Fort Belvoir, VA: ISRAD/AIRMICS, Computer Systems Command, U.S. Army, Dec. 1977, pp. 371-384.
88. E. T. Chen, “Program complexity and programmer productivity,” IEEE Trans. Software Eng., vol. SE-1. pp. 187-193, May 1978.
89. M. E. Fagan, “Design and code inspections to reduce errors in program development,” IBM Syst. J., vol. 15, no. 3, pp. 182-211, 1976.
90. C. B. Jones, “The role of formal specifications in software development,” in Proc. Infotech State of the Art Conf. on Life-cycle Management, 1980.
91. H. Kopetz, F. Lohnert, and W. Merker, “An outline of project MARS-maintainable realtime system,” Technische Universitat, Berlin, Germany, Bericht 79-09, 19 pp, July 1979.