Journal for General Philosophy of Science

, Volume 41, Issue 1, pp 237–260 | Cite as

Software Engineering Between Technics and Science

Recent Discussions about the Foundations and the Scientificness of a Rising Discipline
Essay Review


Software Engineering Software Engineer Information System Software Science Engineering Discipline 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



Thanks to the students of my Software Engineering seminar in 2008 at the University of Pretoria for interesting discussions on the context of this article. Thanks also to Tom Maibaum for inspiring conversations during the ICFEM International Conference on Formal Engineering Methods in Kitakyushu, Japan, October 2008. Also the fruitful discussions with my colleagues Derrick Kourie and Morkel Theunissen are gratefully acknowledged. I also thank Markus Roggenbach for an example which I have used in Sect. 3. Last but not least thanks to the editors and reviewers of this journal for their thoughtful feedback and helpful comments on the earlier drafts of this contribution, as well as to the production office for their professional typesetting of the manuscript.


  1. Arageorgis, A., & Baltas, A. (1989). Demarcating technology from science: Problems and problem solving in technology. Zeitschrift für allgemeine Wissenschaftstheorie, 20(2), 212–229.CrossRefGoogle Scholar
  2. Broy, M., & Rombach, D. (2002). Software engineering: Wurzeln, Stand und Perspektiven. Informatik Spektrum, 16, 438–451.CrossRefGoogle Scholar
  3. DeMarco, T. (1982). Controlling software projects: Management measurement and estimation. Yourdon Press: Prentice Hall.Google Scholar
  4. DeMarco, T. (2009). Software engineering: An idea whose time has come and gone? IEEE Software, 26(4), 95–96.CrossRefGoogle Scholar
  5. Gregg, D. G., Kulkarni, U. R., & Vinze, A. S. (2001). Understanding the philosophical underpinnings of software engineering research in information systems. Information Systems Frontiers, 3(2), 169–183.CrossRefGoogle Scholar
  6. Hernandez-Orallo, J., & Ramirez-Quintana, M. J. (2000). Software as learning-quality factors and life-cycle revised. Lecture Notes in Computer Science, 1783, 147–162.CrossRefGoogle Scholar
  7. Hoare, C. A. R., & He, J. (1998). Unifying theories of programming. London: Prentice Hall.Google Scholar
  8. Kondoh, H. (2000). What is ‘Mathematicalness’ in Software Engineering?—Towards precision software engineering. Lecture Notes in Computer Science, 1783, 163–177.CrossRefGoogle Scholar
  9. Logrippo, L. (2007). Normative systems: The meeting point between jurisprudence and information technology? In H. Fujita & D. Pisanelli (Eds.), New trends in software methodologies, tools and techniques (pp. 343–354). Amsterdam: IOS Press.Google Scholar
  10. Maibaum, T. (2008). Formal methods versus engineering. Proceedings of the First International Workshop on Formal Methods in Education and Training, at the ICFEM International Conference on Formal Engineering Methods, Kitakyushu, Japan.Google Scholar
  11. Northover, M., Kourie, D. G., Boake, A., Gruner, S., & Northover, A. (2008). Towards a philosophy of software development: 40 years after the birth of software engineering. Zeitschrift für allgemeine Wissenschaftstheorie, 39(1), 85–113.Google Scholar
  12. Rogers, G. F. C. (1983). The nature of engineering. Palgrave: Macmillan.Google Scholar
  13. Rombach, D., & Seelisch, F. (2008). Formalisms in software engineering: Myths versus empirical facts. Lecture Notes in Computer Science, 5082, 13–25.CrossRefGoogle Scholar
  14. Snelting, G. (1998a). Paul Feyerabend und die Softwaretechnologie. Informatik Spektrum, 21(5), 273–276.CrossRefGoogle Scholar
  15. Snelting, G. (1998b). Paul Feyerabend and software technology. Software Tools for Technology Transfer, 2(1), 1–5.CrossRefGoogle Scholar
  16. Tichy, W. F. (2007). Empirical methods in software engineering research. Proceedings 4th IFIP WG 2.4 Summer School on Software Technology and Engineering, Gordon’s Bay, South Africa.Google Scholar
  17. Zhirnov, V., Cavin, R., Leeming, G., & Galatsis, K. (2008). An assessment of integrated digital cellular automata architectures. Computer, 41(1), 38–44.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of Computer Science, Research Group for Software Science and Formal MethodsUniversity of PretoriaPretoriaRepublic of South Africa

Personalised recommendations