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

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