所选数据库 | Academic Source Premier | |
所选字段 | 检索词 | |
（1） | Subject Terms | Computer |
FIKFAP（2） | Abstract | Software |
（3） | Abstract | Testing |
检索式:computer+software+testing | ||
限定 条件 | 出版日期 | 2009~2011 |
其它条件 | PDF全文 | |
检索结果（命中文献篇数） 99篇 ，任选其中一篇，填写相关内容如下： | ||
Title | A UML-based static verification framework for security. | |
Author | Siveroni, Igor ；Zisman, Andrea；Spanoudakis, George； | |
Source | Requirements Engineering; Mar2010, Vol. 15 Issue 1, p95-118, 24p, 10 Diagrams, 3 Charts | |
computer+software+testing |
Title | A smart memory type of data acquisition system for shaft misalignment maintenance |
Author | Seung Min Kim, Jin Ho Suh, Jae Sung Im, Seong Bong Kim and Sang Bong Kim |
Source（Journal,Issue） | Journal of Mechanical Science and Technology Volume 19, Number 1, 15-27, DOI: 10.1007/BF02916101 |
所选字段 | 检索词 | |
（1） | Title | Computer |
（2） | Keywords | Operating |
检索式:computer+operating | ||
限定 条件 | Source | All journals |
Subject | Computer Science | |
Limit by Document Type柔性管接头 | Article、Review Article、Book Review、Discussion | |
Dates | 2001~2011 | |
检索结果（命中文献篇数） 87篇 | ||
检索式 | computer+operating | |
限定 条件 | Source | All journals |
Subject | Computer Science | |
Limit by Document Type | Article、Review Article、Book Review、Discussion | |
Dates | 2007~2011 | |
检索结果（命中文献篇数）：45篇 | ||
Title | Three Paradigms of Computer Science |
Author | Amnon H. Eden |
Source | Minds and Machines Volume 17, Number 2, 135-167, DOI: 10.1007/s11023-007-9060-8 |
Abstract | We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist paradigm, which was common among theoretical computer scientists, defines computer science as a branch of mathematics, treats programs on a par with mathematical objects, and seeks certain, a priori knowledge about their ‘correctness’ by means of deductive reasoning. – The technocratic paradigm, promulgated mainly by software engineers and has come to dominate much of the discipline, defines computer science as an engineering discipline, treats programs as mere data, and seeks probable, a posteriori knowledge about their reliability empirically using testing suites. – The scientific paradigm, prevalent in the branches of artificial intelligence, defines computer science as a natural (empirical) science, takes programs to be entities on a par with mental processes, and seeks a priori and a posteriori knowledge about them by combining formal deduction and scientific experimentation. We demonstrate evidence corroborating the tenets of the scientific paradigm, in particular the claim that program-processes are on a par with mental processes. We conclude with a discussion in the influence that the technocratic paradigm has been having over computer science |
本文发布于:2024-09-20 18:31:06，感谢您对本站的认可！
本文链接：https://www.17tex.com/xueshu/119314.html
版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系，我们将在24小时内删除。
| 留言与评论（共有 0 条评论） |
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议