- 博客(3)
- 资源 (15)
- 收藏
- 关注
转载 作为学科的计算科学(下)
六、软件方法学和工程 软件领域研究满足技术要求、安全、可靠、可信的程序和大型软件系统的设计。 基本问题包括: 在程序和程序设计系统的开发背后的原理是什么? 怎样去证明程序或系统满足它的技术要求? 怎样上给定技术要求,使之不遗漏重要的情况,而且可以分析它的安全性? 怎样使软件系统通过不同阶段不断改进? 怎样使软件设计得易理解和易修改? 1. 理论 软件方法学和工具领域理论的主要部分
2009-10-15 17:38:00 1382 1
转载 作为学科的计算科学(中)
11 附录计算科学作为一个学科的定义 计算机科学与工程是对描述和变换信息的算法过程其理论、分析、设计、效率、实现和应用——的系统的研究。全部计算科学的基本问题是,什么能(有效地)自动进行[ 2,3] 。本学科和算法理论、数理逻辑和存储程序式电子计算机的发明一起,形成于40 年代初。
2009-10-15 17:37:00 2332
原创 作为学科的计算科学(上、中、下)
作为学科的计算科学 Peter J.Denning(主席)Douglas E.Comer,David Gries, Michael C.Mulder,A11en Tucker,A.Joe Turner,and Paul R.Young Computing as a Discipline from《Communications of the ACM》January 1989 Volum...
2009-10-15 17:29:00 3869
华为智能汽车解决方案_intelligent-driving-computing-platform-whitepaper.pdf
2020-10-28
中国计算机学会推荐国际学术会议和期刊目录-2019 (1).pdf
2020-09-22
vimrc--2014-10-06
2014-10-06
Linux Performanceand Tuning Guidelines IBM RedBook4285.pdf
2014-02-06
Scalability, Availability & Stability Patterns.pdf
2012-11-02
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人