The role and impact of assumptions in software engineering and its products

Rationale Management in Software Engineering

Volumn , Issue , 2006, Pages 313-328

  Lehman, Meir Manny ^a   Fernándezl Ramil, Juan ^b  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

degradation of assumptions; E type software; principle of software uncertainty; software evolution; SPE program classification

Indexed keywords

EID: 84889832542     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-540-30998-7_15     Document Type: Chapter

References (36)

1. Belady LA, Lehman MM (1972) An introduction to program growth dynamics. In: Freiburger W (ed.) Statistical Computer Performance Evaluation, Academic, New York: 503-511
2. Burge J, Brown DC (2003) Rationale support for maintenance of large scale systems. In: Proceedings of the Workshop on Evolution of Large-Scale Industrial Software Applications (ELISA), September 23, Amsterdam: 1-12 http://prog.vub.ac.be/FFSE/Workshops/ELISA-submissions
3. CERN Bulletin (1998) The Earth breathes on LEP and LHC, Bulletin 09/98; 23 February 1998, http://bulletin. cern. ch/9809/art1/Text-E.html
4. Cook S, Harrison R, Lehman MM, Wernick P (2006) Journal of Software Maintenance and Evolution: Research and Practice, 18(1):1 35 lication
5. Dijkstra EW (1972) The Humble Programmer. ACM Turing Award Lecture. Communications of the ACM, 15(10):859-866
6. FEAST/1 and 2: Feedback Evolution And Software Technology Projects (2001), http://www.doc.ic.ac.uk/~mml/feast/
7. Finkelstein A, Gabbay D, Hunter A, Kramer J, Nuseibeh B (1994). Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering, 20(8):569-578
8. Hoare CAR (1971) Proof of a program: FIND. Communications of the ACM, 14(1):39-45
9. Lago P, van Vliet H (2005) Explicit Assumption enrich Architectural Models. 27th International Conference on Software Engineering (ICSE), May 15-21, St Louis, MO: 206-214
10. Lehman MM (1974) Programs, Cities, Students - Limits to Growth. Imp. Col Inaug Lect Ser, 9, 1970-1974:211-229.
11. Also in: Gries D (ed) (1978) Programming Methodology, Springer, Berlin Heidelberg New York: 42-62
12. Lehman MM (1978) Laws of Program Evolution - Rules and Tools for Programming Management. Proc. Infotech State of the Art Conference, Why Software Projects Fail, April 9-11:1V1-lV25
13. * Lehman MM (1980) Program Life Cycles and Laws of Software Evolution, Proceedings of IEEE, Special Issue on Software. Engineering, September: 1060-1076
14. Lehman MM (1984) A Further Model of Coherent Programming Process. In: Proceedings of Software Process Workshop, Egham, Surrey, 6-8 February, IEEE Cat. no. 84 CH 2044-6:27-35
15. Lehman MM (1989) Uncertainty in computer application and its control through the engineering of software, Journal of Software Maintenance: Research and Practice, 1(1):3-27
16. Lehman MM (1989) Software Engineering as the Control of Uncertainty in Computer Application. SEL Software Engineering Workshop, Goddard Space Centre, MD, 29 November published in 1990
17. Lehman MM (1990) Uncertainty in Computer Application, Communications of the ACM, 33(5):584-586
18. Lehman MM (1990) Uncertainty in Computer Applications is Certain - Software Engineering as a Control. Proceedings of CompEuro 90, International Conference on Computer Systems and Software Engineering, Tel Aviv, May 7-9:468-474
19. Lehman MM (1994) Feedback in the software evolution process. Keynote Address. In: Proceedings of CSR Eleventh Annual Workshop on Software Evolution: Models and Metrics, Dublin, 7-9 September Also in: Information and Software Technology, special issue on Software Maintenance, 38(11), (1996):681-686
20. Lehman MM (2005) The role and impact of assumptions in software development, maintenance and evolution. In: Proceedings of International Conference on Software Maintenance (ICSM), Budapest, September
21. Lehman MM, Belady LA (eds.) (1985) Program Evolution-Processes of Software Change. Academic Press, London. Available from http://w3.umh.ac.be/ evol/under "publications"
22. Lehman MM, Ramil JF (2000) Towards a Theory of Software Evolution - And Its Practical Impact. Invited talk. Proc Intl Symp on the Principles of Softw Evolution ISPSE, Kanazawa, Japan, Nov. 1-2:2-11
23. Lehman MM, Ramil JF (2001) Rules and tools of software evolution planning, management and control, Annals of Software Engineering, Special Issue on Software Management, 11(1):15-44
24. Lehman MM, Ramil JF (2002) Software uncertainty in general and in KBS applications in particular. Proceedings of the 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU), July 1-5, Annecy, France
25. Lehman MM, Ramil JF (2002) An Overview of Some Lessons Learnt in FEAST. In: Proceedings Workshop on Empirical Studies of Software Maintenance (WESS), October 2nd, Montreal, Canada
26. Nanda V, Madhavji A (2006) Case Study of Software Requirements Changes due to External Factors. In: Madhavji N, Fernández-Ramil J, Perry D (eds.): Software Evolution and Feedback - Theory and Practice, Wiley, New York, 2006
27. Nuseibeh B (1997) Ariane 5 Who Dunnit?, IEEE Software, May/June: 15-16
28. Nuseibeh B, Kramer J, Finkelstein A (1994) A framework for expressing the relationships between multiple views in requirements specification. IEEE Transactions on Software Engineering, 20(10):760-773
29. Pfleeger S (2001) Software Engineering - Theory and Practice. 2nd ed., Prentice-Hall, Englewood Cliffs, NJ
30. The Compact Oxford English Dictionary (1989), 2nd micrographically reduced ed., Oxford University Press, Oxford
31. Turski WM (1981) Specification as a Theory with Models in the Computer World and in the Real World. In: Henderson P (ed.): System Design. Infotech State of the Art Report, 9(6):363-377
32. Turski WM. (1981) Software Stability. In: Systems Architecture, Proceedings of ACM European Regional Conference, ICS 81:107-116
33. Turski WM, Maibaum TSE (1987) The Specification of Computer Programs. Addison-Wesley, Boston, MA
34. Uchitel S, Yankelevich D (2000) Enhancing Architectural Mismatch Detection with Assumptions. In: Proceedings of the 7th IEEE International Conference on the Engineering of Computer Based Systems (ECBS), Scotland, UK
35. Van Lamsweerde A (2000) Formal Specification: a Roadmap. In: Finkelstein A (ed.) The Future of Software Engineering. ICSE 2000, Limerick, Ireland, ACM Order N. 592000-1:149-159
36. Wirth N (1971) Program development by stepwise refinement. Communications of the ACM, 14(4):221-227