Advertisement

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
  • Stefan Gruner
Essay Review

“Es steht gegenwärtig allen Wissenschaften eine Wiedergeburt in Ansehung ihrer Begriffe und der Geistlosigkeit bevor, die wissenschaftlichen Inhalt in bloßes Material verwandelt und die Begriffe, deren sie zu handhaben gewöhnlich nicht einmal weiß, unkritisch und bewußtlos handhabt” (G.W.F. Hegel, 1807).

Introduction

This essay-review presents and discusses relevant recent contributions to the science-philosophical and methodological discourse within the discipline of software engineering, about the scientificness of this discipline, also in comparison to other, related disciplines. The main problems in this context are exposed and explained especially for those readers who are not software engineers themselves.

Since the ‘official’ establishment of software engineering as a discipline at the historic NATO Science Conference 1968 in Garmisch, Germany, there has been a rising tide of science-philosophical and methodological discussions about the degree of ‘scientificness’ and/or...

Keywords

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.

Notes

Acknowledgments

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.

References

  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