JavaScript is disabled for your browser. Some features of this site may not work without it.
Please note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.
Towards a philosophy of software development : 40 years after the birth of software engineering
Northover, Mandy; Kourie, Derrick G.; Boake, Andrew B.; Gruner, Stefan; Northover, Alan
Over the past four decades, software engineering has emerged as a discipline in its own right, though it has roots both in computer science and in classical engineering. Its philosophical foundations and premises are not yet well understood. In recent times, members of the software engineering community have started to search for such foundations. In particular, the philosophies of Kuhn and Popper have been used by philosophically-minded software engineers in search of a deeper understanding of their discipline. It seems, however, that professional philosophers of science are not yet aware of this new discourse within the field of software engineering. Therefore, this article aims to reflect critically upon recent software engineers’ attempts towards a philosophy of software engineering and to introduce our own philosophical thoughts in this context. Finally, we invite the professional philosophers of science to participate in this interesting new discourse.
An established approach to software verification is SAT-based bounded model checking where a state space model is encoded as a Boolean formula and the exploration is performed via SAT solving. Most existing approaches in ...
Maina, J.W. (James); Denneman, Erik; De Beer, M.(SATC, 2008-07)
Paper presented at the 27th Annual Southern African Transport Conference 7 - 11 July 2008 "Partnership for research and progress in transportation", CSIR International Convention Centre, Pretoria, South Africa. ABSTRACT:Pavement ...