Towards a theory of software evolution - and its practical impact

International Workshop on Principles of Software Evolution (IWPSE)

Volumn 2000-January, Issue , 2000, Pages 2-11

  Lehman, M M ^a   Ramil, J F ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Assumptions; E type software; Empirical generalisation; Good practice; Principle of uncertainty; Rules and guidelines; Software evolution; Theory

Indexed keywords

ASSUMPTIONS; E-TYPE SOFTWARE; GENERALISATION; GOOD PRACTICES; PRINCIPLE OF UNCERTAINTY; RULES AND GUIDELINES; SOFTWARE EVOLUTION; THEORY;

EID: 84949756902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPSE.2000.913215     Document Type: Conference Paper

References (43)

1. Belady LA and Lehman MM, "An Introduction to Program Growth Dynamics", in Statistical Computer Performance Evaluation, W. Freiburger (ed.), Academic Press, NY, 1972, pp. 503-511
2. ∗ Bennett KH and Rajlich VT, "Software Maintenance and Evolution: A Roadmap", in Finkeistein, A. (ed.), The Future of Software Engineering, ICSE 22, June 2000, Limerick, Ireland, ACM order n. 592000-1, pp. 73-87
3. Box G, and Luceno A, Statistical Control by Monitoring and Feedback Adjustment, Wiley, New York, 1997, 327 pp
4. Carnap R, An Introduction to the Philosophy of Science, Gardner M (ed.), Dover, Toronto, Canada 1995, 300 p.
5. Cook S, Ji H and Harrison R, "Software Evolution and Software Evolvability", working paper, U. of Reading, Aug. 2000
6. Dijkstra ED, "Go To Statement Considered Harmful", Comm. ACM, v. 11 March 1968, pp 147-148
7. Preprints of the three FEAST Workshops, Lehman MM (ed.), Dept, of Comp., 1 CSTM, 1994/5
8. Preprints of FEAST 2000 International Workshop on Feedback and Evolution in Softw. and Business Processes, Ramil JF (ed.), Dept, of Comp., Imperial College, London, 10-12 July 2000, 124 pp. http://www-dse.doc.ic.ac.uk/~mml/f2000
9. FEAST Projects Web Site, Dept, of Comp., Imp. Col., London, UK, http://www-dse.doc.ic.ac.uk/~mml/feast
10. Fordham RG, "Software Development Challenges for the 2000's", Keynote Address, Proc. PROFES'2000 2nd International Conf. on Product Focused Softw. Process Improvement, Oulu, Finland, 20-22 Jun. 2000, in Frank Bomarius and Markku Oivo (eds.) LNCS 1840, Springer Verlag, Berlin, 2000, p. 3
11. Gilb T, "Evolutionary Development", ACM Softw. Eng. Notes, April 1981
12. Proc. Int. Wrkshp. on the Principles of Software Evolution IWPSE-98, ICSE-20, 20-21 Apr. 1998, Kyoto, Japan
13. Int. Symposium on the Principles of Software Evolution, Kanazawa, Japan, Nov. 1-2, 2000, this volume.
14. Kemerer CF and Slaughter S, "An Empirical Approach to Studying Software Evolution", IEEE Trans on Softw. Eng., v. 25, n. 4, Jul./Aug. 99, pp. 493-509
15. ∗ Lehman MM, "The Programming Process", IBM Res. Rep. RC 2722, IBM Res. Centre, Yorktown Heights, NY, Sept. 1969.
16. Lehman MM, "Programs, Cities, Students, Limits to Growth?", Inaug. Lect., May 1974. Pubi, in Imp. Col of Sc. Tech. Inaug. Lect. Series, v. 9, 1970-74, pp. 211-229.
17. Also in Programming Methodology, D Gries, (ed.). Springer 1978, 42-62
18. ∗ Lehman MM, "Human Thought and Action as an Ingredient of System Behaviour", in The Encyclopaedia of Ignorance, R Duncan and M Weston-Smith (eds.), Pergamon Press, London, 1977, pp. 347-354
19. Lehman MM, "A Further Model of Coherent Programming Models", in, Proc. of the Software Process Workshop, Potts C (ed.), Egham, Surrey, UK, Feb. 1984. IEEE cat. no. 84CH2044-6, Comp. Soc., order n. 587, Feb. 1984, pp. 27-35
20. Lehman MM, and Belady LA, Program Evolution - Processes of Software Change, Acad. Press, London, 1985
21. Lehman MM., "Uncertainty in Computer Application and its Control through the Engineering of Software", J. of Software Maintenance, Research and Practice, v. 1, 1 Sept 1989, pp. 3-27
22. Lehman MM, "Uncertainty in Computer Application", Tech. Letter, Comm. ACM, v. 33, n. 5, pp. 584, May 1990
23. Lehman MM, "Feedback in the Software Evolution Process", Keynote Address, CSR Eleventh Annual Wrksh. on Softw. Ev. - Models and Metrics. Dublin, 7-9th Sep. 1994.
24. Also in Info, and Softw. Tech., spec. iss. on Softw. Maint., v. 38, n. 11, 1996, Elsevier, 1996, pp. 681-686
25. Lehman MM and Stenning V, "FEAST/1: Case for Support Part 2", Dept, of Comp., Imp. Col., London, UK, Mar. 1996. Available via [8]
26. Lehman MM, "Laws of Software Evolution Revisited", Proc. EWSPT96, Oct. 1996, LNCS 1149, Springer, 1997, pp. 108-124
27. Lehman MM, "FEAST/2: Case for Support Part 2", Dept of Computing, Imp. Col., London, UK, Jul. 1998. Available via [8]
28. Lehman MM, "Rules and Tools for Software Evolution Planning and Management", FEAST 2000 Pre-prints, Imperial College, London, 10-12 July 2000. Available via links at [7]. A revised version to appear in Annals of Softw. Eng., vol. 11, 2001
29. Lehman MM, "Approach to a Theory of Software Process and Software Evolution", FEAST 2000 Pre-prints, Imperial College, London, 10-12 July 2000. Available via links at [7]
30. Lehman MM, "Evolution as a Noun and Evolution as a Verb", SOCE 2000 Workshop on Software, and Organisation Coevolution, 12-13 Jul. 2000, Imp. Col., London. Available via [8].
31. Lehman MM, Proposal in Preparation, Department of Computing, Imperial College, London, UK, Sept. 2000.
32. Publication listings available from links at the following web address: http://www-dse.doc.ic.ac.uk/~mml
33. Naur P and Randell B (eds.), Software Engineering, Report on a conference sponsored by the NATO Science Committe, Garmisch, Germany, 7th to 11th Oct. 1968, Jan. 1969, 231 pps
34. Pamas D, "On the Criteria to be Used in Decomposing Systems into Modules", Comm. ACM, v. 15, December 1972, pp 1053-1058
35. Pfleeger SL, "The Nature of System Change", IEEE-Softw. v. 15, n. 3; May-June 1998; pp. 87-90
36. SEBPC Systems Engineering for Business Process Change, EPSRC Res. Prog, http://www.ecs.soton. ac.uk/~ph/sebpc
37. Shaw M and Garlan D, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996
38. Shrager J and Langley P (eds.), Computational Models of Scientific Discovery and Theory Formation, Morgan Kaufmann Publishers, Inc, San Mateo, CA, 1990, 498 pps.
39. SOCE 2000 Workshop on Software and Organisation Coevolution, Imperial College, 12-13 July, 2000
40. Turski WM, "Specification as a Theory with Models in the Computer World and in the Real World", in P. Henderson (ed.), System Design, Infotech State of the Art Report, se. 9, n. 6, 1981, pp 363-377
41. Turski WM and Maibaum T, The Specification of Computer Programs, Addison Wesley, London, 1987, p. 278
42. Turski WM, "An Essay on Software Engineering at the Turn of the Century", Invited Talk, ETAPS, Berlin, Mar. 2000, pp. 108-124
43. Wirth N, "Program Development by Step-wise Refinement", Comm. ACM, v. 14, n. 4, Apr. 1971, pp 221-227