- 博客(3)
- 收藏
- 关注
RSS订阅原创 作为学科的计算科学(中)
11 附录计算科学作为一个学科的定义 计算机科学与工程是对描述和变换信息的算法过程 其理论、分析、设计、效率、实现和应用——的系统的研究。全部计算科学的基本问题是，什么能(有效地)自动进行[ 2，3] 。本学科和算法理论、数理逻辑和存储程序式电子计算机的发明一起，形成于40 年代初。 计算的渊源可以深入扩展到数学和工程。数学把分析分到这一领域，而工程把设计分到这领域。本学
2004-01-15 14:35:00
2439
原创 作为学科的计算科学(下)
六、软件方法学和工程 软件领域研究满足技术要求、安全、可靠、可信的程序和大型软件系统的设计。基本问题包括：在程序和程序设计系统的开发背后的原理是什么?怎样去证明程序或系统满足它的技术要求?怎样上给定技术要求，使之不遗漏重要的情况，而且可以分析它的安全性?怎样使软件系统通过不同阶段不断改进?怎样使软件设计得易理解和易修改?1．理论软件方法学和工具领域理论的主要部分是：(1)
2004-01-15 14:35:00
1737
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
2188
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人