Software uncertainty

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2311, Issue , 2002, Pages 174-190

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

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

E-TYPE SOFTWARE; EVOLUTION TECHNOLOGY; SOFTWARE PROCESS; THEORY OF SOFTWARE EVOLUTION;

COMPUTATION THEORY;

EID: 84892635433     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46019-5_14     Document Type: Conference Paper

References (36)

1. Banach R and Poppleton MR, Retrenchment, Refinement and Simulation, in J.P. Bowen, S.E. Dunne, A. Galloway, King S. (editors) ZB2000: Formal Specification and Development in Z and B, Springer, 2000, 525 pp
2. Belady LA and Lehman MM, An Introduction to Program Growth Dynamics, in W. Freiburger, (editor) Statistical Computer Performance Evaluation, Academic Press, New York, pp. 503-511
3. Brooks FP, No Silver Bullet - Essence and Accidents of Software Engineering, Information Processing 86, Proc. IFIP Congress 1986, Dublin, Sept. 1-5, Elsevier Science Publishers (BV), North Holland, pp. 1069 - 1076
4. CERN, The Earth breathes on LEP and LHC, CERN Bulletin 09/98; 23 February 1998, http://bulletin.cern.ch/9809/art1/Text_E.html as of Nov. 2001
5. Coleman JS, Introduction to Mathematical Sociology, The Free Press Of Glencoe, Collier-Macmillan Limited, London, 1964, 554 pps
6. Dijkstra EW, The Humble Programmer, ACM Turing Award Lecture, CACM, v. 15, n.10, Oct. 1972, pp. 859 – 866
7. FEAST Projects web site: http://www.doc.ic.ac.uk/~mml/feast/ includes a list of Project FEAST and the authors' papers, PDF versions of those recent papers not restricted by copyright transfers
8. Finkelstein A, Gabbay D, Hunter A, Kramer J and Nuseibeh B, Inconsistency Handling in Multi-Perspective Specifications, IEEE Trans. on Softw. Eng., v. 20, n. 8, Aug. 1994, pp. 569 - 578
9. Hoare CAR, An Axiomatic Basis for Computer Programming, CACM, v. 12, n.10, Oct., pp. 576 - 583
10. id., Proof of a Program FIND, CACM, v. 14, n. 1, Jan.
11. Van Lamsweerde A, Formal Specification: a Roadmap, in A. Finkelstein (ed.), The Future of Software Engineering, 22nd ICSE, Limerick, Ireland, 2000, ACM Order N. 592000-1, pp. 149-159
12. Lehman MM, Programs, Cities, Students—Limits to Growth, Imp. Col. Inaug. Lect. Ser., v.9, 1970 - 1974, pp. 211 - 229; also in Gries, 1978
13. Lehman MM id, Human Thought and Action as an Ingredient of System Behaviour, in The Encyclopædia of Ignorance, R Duncan and M Weston-Smith, editors, Pergamon Press, London, 1977, pp. 347 - 354
14. Lehman MM id, Laws of Program Evolution-Rules and Tools for Programming Management, Proc. Infotech State of the Art Conference, Why Software Projects Fail, April 9-11, 1978, pp. 1V1 - lV25
15. Lehman MM id, Program Life Cycles and Laws of Software Evolution, Proc. lEEE Spec. Iss. on Softw. Eng., Sept. 1980, pp. 1060 – 1076
16. id, A Further Model of Coherent Programming Process, Proc. Softw. Proc. Worksh., Egham, Surrey, 6 – 8 Feb. 1984, IEEE Cat. no. 84 CH 2044-6, pp. 27-35
17. Lehman MM and Belady LA, Program Evolution—Processes of Software Change, Academic Press, London, 1985
18. Lehman MM, Uncertainty in Computer Application and its Control Through the Engineering of Software, J. of Software Maintenance: Research and Practice, v. 1, n. 1, Sept. 1989, pp. 3 - 27
19. Lehman MM, Software Engineering as the Control of Uncertainty in Computer Application, SEL Software Engineering Workshop, Goddard Space Centre, MD, 29 Nov. 1989, publ. 1990
20. id, Uncertainty in Computer Application, CACM, v. 33, n. 5, May 1990, pp. 584 - 586
21. id, Uncertainty in Computer Applications is Certain - Software Engineering as a Control, Proc. CompEuro 90, Int. Conf. on Computer Systems and Software Engineering, Tel Aviv, 7 - 9 May, 1990, Publ. by IEEE Comp. Soc. Press, n. 2041, pp 468 - 474
22. id, Feedback in the Software Evolution Process, Keynote Address, CSR Eleventh Annual Workshop on Software Evolution: Models and Metrics, Dublin, 7-9 Sept. 1994, Workshop Proc., Information and Software Technology, sp. is. on Software Maintenance, v. 38, n. 11, 1996, Elsevier, 1996, pp. 681-686
23. Lehman MM and Ramil JF, Software System Maintenance and Evolution in an Era of Reuse, COTS and Component Based Systems, Joint Keynote Lecture, International Conference on Software Maintenance and Int. Workshop on Empirical Studies of Software Maintenance WESS 99, Oxford, 3 Sept. 1999
24. id, Towards a Theory of Software Evolution - And Its Practical Impact, invited talk, Proc. ISPSE 2000, Intl. Symposium on the Principles of Software Evolution, Kanazawa, Japan, Nov 1-2, 2000, IEEE CS Press, pp. 2-11
25. Lehman M M, SETh – Towards a Theory of Software Evolution, EPSRC Proposal, Case for Support Part 2, Dept. of Comp. ICSTM, 5 Jul. 2001
26. Lehman MM and Ramil JF, Rules and Tools of Software Evolution Planning, Management and Control, Annals of Software Engineering, Spec. Iss. on Softw. Management, v. 11., issue 1, 2001, pps. 15 – 44
27. Nuseibeh B, Kramer J and Finkelstein A, A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification, Trans. on Software Engineering, vol. 20, n. 10, Oct. 1994, pp 760 – 773
28. Nuseibeh B, Arianne 5 Who Dunnit?, IEEE Software, May/June 1997, pp. 15-16
29. The Compact Oxford English Dictionary, 2nd, Micrographically Reduced Edition, Oxford Univ. Press 1989
30. Pfleeger S, Software Engineering – The Production of Quality Software, Macmillan Pub. Co., 1987
31. Scarrott G, Copies of various relevant papers, published and unpublished and including the one reference that can be obtained from one of the authors (mml) of this paper
32. Simon HA, The Sciences of the Artificial, M.I.T. Press, Cambridge, MA. 1969, 2nd ed, 1981
33. Turski WM, Specification as a Theory with Models in the Computer World and in the Real World, System Design, Infotech State of the Art Rep. (P Henderson ed), se. 9, n. 6, 1981, pp 363 - 377
34. Turski WM and Maibaum TSE, The Specification of Computer Programs, Addison-Wesley, Wokingham, 1987
35. Turski WM, An Essay on Software Engineering at the Turn of the Century, in T. Maibaum (editor), Fundamental Approaches to Software Engineering, Proc. Third Int. Conf. FASE 2000. March/April 2000. LNCS 1783, Springer-Verlag, Berlin, pp. 1 – 20
36. Wirth N, Program Development by Stepwise Refinement, CACM, v.14, n.4, Apr. 1971, pp. 221 – 227