This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Can Practitioners Neglect Theory and Theoreticians Neglect Practice?
Oct. 2011 (vol. 44 no. 10)
pp. 19-24
Manfred Broy, Technical University of Munich, Germany

1. P. Naur and B. Randell, Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, NATO, 1968.
2. I. Jacobson and I. Spence, "Why We Need a Theory for Software Engineering," Dr. Dobbs J., 2 Oct. 2009; http://drdobbs.com/architecture-and-design 220300840.
3. M. Broy, "The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems," Computer, Oct. 2006, pp. 72-80.
4. I. Jacobson and B. Meyer, "Methods Need Theory," Dr. Dobbs J., 6 Aug. 2009; http://drdobbs.com/architecture-and-design 219100242.
5. R.A. De Millo, R.J. Lipton, and A.J. Perlis, "Social Processes and Proofs of Theorems and Programs," Comm. ACM, vol. 22, no. 5, 1979, pp. 271-280.
6. D.L. Parnas, "Really Rethinking Formal Methods," Computer, Jan. 2010, pp. 28-34.
7. M. Broy, "Toward a Mathematical Foundation of Software Engineering Methods," IEEE Trans. Software Eng., 2001, pp. 42-57.
8. M. Broy and M.V. Cengarle, "UML Formal Semantics: Lessons Learned," to appear in Software & Systems Modeling, 2011.
9. V.R. Pratt, "Chu Spaces and Their Interpretation as Concurrent Objects," Computer Science Today: Recent Trends and Developments, LNCS 1000, J. van Leeuwen, ed., Springer, 1995, pp. 392-405.

Index Terms:
Software engineering, Theory, Science
Citation:
Manfred Broy, "Can Practitioners Neglect Theory and Theoreticians Neglect Practice?," Computer, vol. 44, no. 10, pp. 19-24, Oct. 2011, doi:10.1109/MC.2011.305
Usage of this product signifies your acceptance of the Terms of Use.