Problems for a Philosophy of Software Engineering

被引：7

作者：

Gruner, Stefan ^{[1
]}

机构：

[1] Univ Pretoria, Dept Comp Sci, Res Grp Software Sci & Formal Methods, ZA-0002 Pretoria, South Africa

来源：

MINDS AND MACHINES | 2011年 / 21卷 / 02期

关键词：

Computer science; Software engineering; Paradigms;

D O I：

10.1007/s11023-011-9234-2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：275 / 299

页数：25

共 31 条

[1]

Amman P., 2008, INTRO SOFTWARE TESTI

[2]

BROY M, 2002, INFORM SPEKTRUM, V16, P438

[3] Recipes, algorithms, and programs [J].