Program verification: the very idea
Communications of the ACM
Philosophy and Computing: An Introduction
Philosophy and Computing: An Introduction
Recipes, Algorithms, and Programs
Minds and Machines
What Is `Mathematicalness' in Software Engineering?
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Controlling Software Projects: Management, Measurement, and Estimates
Controlling Software Projects: Management, Measurement, and Estimates
Empirical Methods in Software Engineering Research
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Computing is a natural science
Communications of the ACM - Creating a science of games
Three Paradigms of Computer Science
Minds and Machines
Agile software development: a contemporary philosophical perspective
Proceedings of the 2007 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Introduction to Software Testing
Introduction to Software Testing
Formalisms in Software Engineering: Myths Versus Empirical Facts
Balancing Agility and Formalism in Software Engineering
The Art of Programming or Programs as Art
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Irreversibility and heat generation in the computing process
IBM Journal of Research and Development
The ontological basis of strong artificial life
Artificial Life
Ontology goes postmodern in ICT
SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
Some Philosophical Issues in Computer Science
Minds and Machines
Hi-index | 0.00 |
On the basis of an earlier contribution to the philosophy of computer science by Amnon Eden, this essay discusses to what extent Eden's `paradigms' of computer science can be transferred or applied to software engineering. This discussion implies an analysis of how software engineering and computer science are related to each other. The essay concludes that software engineering can neither be fully subsumed by computer science, nor vice versa. Consequently, also the philosophies of computer science and software engineering--though related to each other--are not identical branches of a general philosophy of science. This also implies that not all of Eden's earlier arguments can be directly mapped from the domain of computer science into the domain of software science. After the discussion of this main topic, the essay also points to some further problems and open issues for future studies in the philosophy of software science and engineering.