- 博客(3)
- 收藏
- 关注
原创 作为学科的计算科学(中)
11 附录计算科学作为一个学科的定义 计算机科学与工程是对描述和变换信息的算法过程 其理论、分析、设计、效率、实现和应用——的系统的研究。全部计算科学的基本问题是,什么能(有效地)自动进行[ 2,3] 。本学科和算法理论、数理逻辑和存储程序式电子计算机的发明一起,形成于40 年代初。 计算的渊源可以深入扩展到数学和工程。数学把分析分到这一领域,而工程把设计分到这领域。本学
2004-01-15 14:35:00 2475
原创 作为学科的计算科学(下)
六、软件方法学和工程 软件领域研究满足技术要求、安全、可靠、可信的程序和大型软件系统的设计。基本问题包括:在程序和程序设计系统的开发背后的原理是什么?怎样去证明程序或系统满足它的技术要求?怎样上给定技术要求,使之不遗漏重要的情况,而且可以分析它的安全性?怎样使软件系统通过不同阶段不断改进?怎样使软件设计得易理解和易修改?1.理论软件方法学和工具领域理论的主要部分是:(1)
2004-01-15 14:35:00 1752 1
原创 作为学科的计算科学(上)
作为学科的计算科学Peter J.Denning(主席)Douglas E.Comer,David Gries,Michael C.Mulder,A11en Tucker,A.Joe Turner,and Paul R.Young 摘要: 这是计算机科学核心攻关组的最后报告。它给出计算机学科一个新知识框架,和计算课程的一个新基础。本报告已经过美计算机协会(ACM)教育委员会
2004-01-15 14:34:00 2213
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人