ajian005

摘要： 六、软件方法学和工程软件领域研究满足技术要求、安全、可靠、可信的程序和大型软件系统的设计。基本问题包括：在程序和程序设计系统的开发背后的原理是什么?怎样去证明程序或系统满足它的技术要求?怎样上给定技术要求，使之不遗漏重要的情况，而且可以分析它的安全性?怎样使软件系统通过不同阶段不断改进?怎样使软件设计得易理解和易修改?1. 理论软件方法学和工具领域理论的主要部分是：(1)程序验证和证明。(2)时态逻辑。(3)可靠性理论。(4)谓词演算、公理语义学、和认知心理学等支撑领域。2. 抽象软件方法学和工具抽象的主要部分是：(1)定义技术要求的方法。如谓词变换器、程序设计演算、抽象数据类型和弗洛依德-霍 阅读全文

摘要： 11 附录计算科学作为一个学科的定义 计算机科学与工程是对描述和变换信息的算法过程其理论、分析、设计、效率、实现和应用——的系统的研究。全部计算科学的基本问题是，什么能(有效地)自动进行[ 2，3] 。本学科和算法理论、数理逻辑和存储程序式电子计算机的发明一起，形成于40 年代初。 计算的渊源可以深入扩展到数学和工程。数学把分析分到这一领域，而工程把设计分到这领域。本学科包括它自己的理论、实验方法和工程。这与许多其他的自然科学不同。许多其它的自然科学和运用其成果的工程学科是分开的(例如化学和化学工程原理)、计算机科学与工程却是不可分的，因为本学科的科学与工程形态从根本上是相互渗透的。 计算作为 阅读全文

摘要： 作为学科的计算科学Peter J．Denning(主席)Douglas E.Comer，David Gries,Michael C．Mulder,A11en Tucker,A.Joe Turner，and Paul R．YoungComputing as a Disciplinefrom《Communications of the ACM》January 1989 Volume 32 Number IComputing as a Discipline 英文连接 http://wenku.baidu.com/view/fd6e555e312b3169a451a4bc.html摘要:这是计算机科学 阅读全文

摘要： 作为学科的计算科学Peter J．Denning(主席)Douglas E.Comer，David Gries,Michael C．Mulder,A11en Tucker,A.Joe Turner，and Paul R．YoungComputing as a Disciplinefrom《Communications of the ACM》January 1989 Volume 32 Number IComputing as a Discipline 英文连接 http://wenku.baidu.com/view/fd6e555e312b3169a451a4bc.html摘要:这是计算机科学 阅读全文