A logician looks at programming
| Abstract | I will look forward to your comments before I try to publish in this area. Or alternatively, you and your colleagues in software engineering may in fact stop me from publishing in this area! But I think that there are some merits in having someone in mathematical logic and the foundations of mathematics tackle crucial issues in software engineering from their own perspective, head on, with no fear, discarding all of the talk about their being no magic bullets, etcetera. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesDon Gotterbarn (1999). Not All Codes Are Created Equal: The Software Engineering Code of Ethics, a Success Story. Journal of Business Ethics 22 (1):81 - 89.
Stefan Gruner (2011). Problems for a Philosophy of Software Engineering. Minds and Machines 21 (2):275-299.
Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel (2000). Does Mathematics Need New Axioms? Bulletin of Symbolic Logic 6 (4):401-446.
Derrick Mandy Northover, Andrew Boake G. Kourie & Alan Northover Stefan Gruner (2008). Towards a Philosophy of Software Development: 40 Years After the Birth of Software Engineering. Journal for General Philosophy of Science 39 (1).
Mandy Northover, Derrick G. Kourie, Andrew Boake, Stefan Gruner & Alan Northover (2008). Towards a Philosophy of Software Development: 40 Years After the Birth of Software Engineering. Journal for General Philosophy of Science 39 (1):85 - 113.
Timothy R. Colburn (1998). Information Modeling Aspects of Software Development. Minds and Machines 8 (3):375-393.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads4 ( #178,473 of 548,980 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
