Determining the Impact of Software Engineering Research on Practice

Computer

Volumn 41, Issue 3, 2008, Pages 39-49

  Osterweil, Leon J ^a   Ghezzi, Carlo ^b   Kramer, Jeff ^c   Wolf, Alexander L ^c  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

^b POLITECNICO DI MILANO   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85008016941     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2008.85     Document Type: Article

References (38)

1. P. Naur and B. Randell, eds., Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, NATO, Scientific Affairs Division, 1969.
2. S. Redwine and W. Riddle, “Software Technology Maturation,” Proc. 8th Int’l Conf. Software Eng., IEEE CS Press, 1985, pp. 189-200.
3. L. Osterweil et al., “Editorial,” ACM Trans. Software Eng. and Methodology, vol. 14, no. 4, 2005, pp. 381-382.
4. J. Estublier et al., “Impact of Software Engineering Research on the Practice of Software Configuration Management,” ACM Trans. Software Eng. and Methodology, vol. 14, no. 4, 2005, pp. 383-430.
5. B.G. Ryder, M.L. Soffa, and M. Burnett, “The Impact of Software Engineering Research on Modern Programming Languages,” ACM Trans. Software Eng. and Methodology, vol. 14, no. 4, 2005, pp. 431-477.
6. W. Emmerich, M. Aoyama, and J. Sventek, “The Impact of Research on Middleware Technology,” ACM Trans. Software Eng. and Methodology, to appear Oct. 2008.
7. L. Clarke and D. Rosenblum, “Historical Perspective on Runtime Assertion Checking in Software Development,” SIGSOFT Software Eng. Notes, vol. 31, no. 3, 2006, pp. 25-37.
8. J.B. Goodenough, “Language Design for Program Reliability,” IEEE Trans. Software Eng., June 1975, pp. 179-191.
9. J.B. Goodenough, “Structured Exception Handling,” Proc. ACM SIGPLAN/SIGACT Symp. Principles of Programming Languages, ACM Press, Jan. 1975, pp. 204-224.
10. J.B. Goodenough, “Exception Handling: Issues and a Proposed Notation,” Comm. ACM, Dec. 1975, pp. 683-696.
11. B. Liskov and A. Snyder, “Exception Handling in CLU,” IEEE Trans. Software Eng., Nov. 1979, pp. 546-558.
12. J.D. Ichbiah et al., “Rationale for the Design of the ADA Programming Language,” ACM SIGPLAN Notices, June 1979, pp. 1-261.
13. A. Koenig and B. Stroustrup, “Exception Handling for C+,” The Evolution of C++: Language Design in the Marketplace of Ideas, J. Waldo, ed., MIT Press, 1993.
14. G. Gosling, B. Joy, and G.L. Steele Jr., The Java Language Specification, Addison-Wesley, 1996.
15. M.E. Fagan, “Design and Code Inspections to Reduce Errors in Program Development,” IBM Systems J., vol. 15, no. 3, 1976, pp. 182-211.
16. V.R. Basili et al., “The Empirical Investigation of Perspective-Based Reading,” J. Empirical Software Eng., vol. 2, no. 1, 1996, pp. 133-164.
17. H.D. Mills, “Stepwise Refinement and Verification in Box-Structured Systems,” Computer, June 1988, pp. 23-36.
18. V.R. Basili, G. Caldiera, and H.D. Rombach, “Goal Question Metric Paradigm,” J. Marciniac, ed., Encyclopedia of Software Eng., John Wiley & Sons, 1994, pp. 528-532.
19. R. van Solingen and E. Berghout, Goal/Question/Metric Method: A Practical Guide for Quality Improvement of Software Development, McGraw-Hill, 1999.
20. F. McGarry, “What Is a Level 5?” Proc. 26th Ann. NASA Goddard Software Eng. Workshop, IEEE CS Press, 2001, pp. 83-90.
21. H.D. Rombach, V.R. Basili, and R.W. Selby, eds., Experimental Software Engineering Issues: A Critical Assessment and Future Directions, Springer-Verlag, 1993.
22. V.R. Basili and R.W. Selby, “Comparing the Effectiveness of Software Testing Techniques,” IEEE Trans. Software Eng., vol. 13, no. 12, 1987, pp. 1278-1296.
23. R.W. Selby, V.R. Basili, and F. Baker, “Cleanroom Software Development Approach: An Empirical Evaluation,” IEEE Trans. Software Eng., vol. 13, no. 9, 1987, pp. 1027-1037.
24. J.M. Correira and F. Biscotti, Market Share: AIM and Portal Software, Worldwide, 2005, Gartner market research report, June 2006; www.gartner.com/DisplayDocument?ref=g_search&id=492790.
25. S.T. Redwine and W.E. Riddle, “Software Technology Maturation,” Proc. 8th Int’l Conf. Software Eng., IEEE CS Press, 1984, pp. 189-200.
26. K. Zuse, Der Plankalkül, Gesellschaft für Mathematik und Datenverarbeitung, no. 63, BMBW-GMD-63, 1972.
27. H.H. Goldstine and J. Von Neumann, “Planning and Coding Problems for an Electronic Computing Instrument,” John von Neumann, Collected Works, A.H. Taub, ed., Pergamon Press, 1963, pp. 80-235.
28. A. Turing, “Checking a Large Routine;” www.turingarchive.org/browse.php/B/8.
29. J. McCarthy, “Towards a Mathematical Science of Computation,” 1963; www-formal.stanford.edu/jmc/towards.pdf.
30. R.W. Floyd, “Assigning Meaning to Programs,” Proc. Symp. Applied Mathematics, Am. Mathematical Soc., 1967, pp. 19-32.
31. C.A.R. Hoare, “An Axiomatic Basis of Computer Programming,” Comm. ACM, Dec. 1969, pp. 576-580.
32. S.S. Yau and R.C. Cheung, “Design of Self-Checking Software,” Proc. Int’l Conf. Reliable Software, ACM and IEEE CS Press, 1975, pp. 450-457.
33. D.C. Luckham, Programming with Specifications: An Introduction to Anna, a Language for Specifying Ada Programs, Springer-Verlag, 1990.
34. B. Meyer, Eiffel: The Language, Prentice Hall, 1991.
35. D.S. Rosenblum, “A Practical Approach to Programming with Assertions,” IEEE Trans. Software Eng., vol. 21, no. 1, 1995, pp. 19-31.
36. B. Meyer, “Applying ‘Design by Contract,’” Computer, Dec. 1992, pp. 40-51.
37. C.A.R. Hoare, “Assertions: A Personal Perspective,” IEEE Annals of the History of Computing, vol. 25, no. 2, 2003, pp. 14-25.
38. P. Chalin, Ensuring Continued Mainstream Use of Formal Methods: An Assessment, Roadmap and Issues, D.S.R. Group, ed., Concordia University, 2005.