The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - Oct. (2011 vol.44)
pp: 19-24
Manfred Broy , Technical University of Munich, Germany
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
REFERENCES
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.
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool