Can practitioners neglect theory and theoreticians neglect practice?

Computer

Volumn 44, Issue 10, 2011, Pages 19-24

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Science; Software engineering; Theory

Indexed keywords

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

References (9)

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.