2016新编高性能计算机系统.doc

软件的数学背景 Mathematical Fundamentals for Software 课程编号：………. 课程属性：公共基础课 学时/学分：/2 预修课程：递归概念及应用、程序设计、软件体系结构 教学目的和要求： 本课程面向中高级软件人才的培养而开设，目的是为学生在将来进入软件设计和实现，特别是复杂的软件系统的设计与实现所应该具备的数学背景知识，以求减少软件研发中的盲目性和试探性，为增加软件设计的合理性和可靠性提供必要的基础理论意义上的支持。 内容提要： 第一章 基础知识 能行性， 映射，布尔代数 第二章 递归 递归， 递归函数类，软件的控制机制与递归的关系 第三章 计算模型 递归函数类，图灵机，λ－演算，Post模型，Horn子句 第四章 自动机 状态机，有限自动机，下推自动机，Markov链 第五章 Boole代数 基本知识，布尔代数与集合论的关系，布尔逻辑在软件中的应用举例 第六章 PETRI网 基本Petri网，随机Petri网，扩展的DSPN，Petri网的应用 主要参考书： 1. R.L. Graham, D.E. Knuth, O. Patashnik, Concrete Mathematics, Addison-Wesley Publishing Company, 1990. 2. John E. Hopcroft, R. Motwani, J.D. Uiiman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley Publishing Company, 2001. 3. G. Balbo, J. Desel, K. Jensen, W. Reisig, G. Rozenberg, M. Silva, Petri Nets 2000, 21st International Conference on Application and Theory of Petri Nets, Aarhus, denmark, June, 2000 4. 莫绍揆 著，递归论，科学出版社，北京，1999. 撰写人： 董占球、章森(中国科学院研究生院) 2005年0月 课程属性：专业基础课 学时/学分：60/3 预修课程：software development experience, and good English reading skill。 教学目的和要求： 本课程是中科院研究生院软件学院软件工程硕士专业基础课程之一。本课程以案例分析为主线，从软件工程的基本原理和知识体系入手，介绍了软件生命周期和软件过程的基本内涵和相互关系，讨论了各种软件生命周期模型优缺点和软件过程定义的基本方法，重点剖析了软件过程成熟度模型集成（CMMI）的基本原理与应用，并对现代流行的迭代式软件开发和敏捷软件过程如Rational统一过程（RUP）、微软解决方案框架（MSF）、极端编程（XP）和开放源码软件（OSS）等进行了分析，最后综合讨论了软件过程改进的思想、方法和软性因素。在完成本课程后，学生应能够：理解软件工程的基本原理、知识体系；理解软件生命周期和软件过程的基本内涵以及二者的关联和应用，理解各种软件生命周期模型优缺点；理解软件过程的能力成熟度模型集成及其应用，理解软件过程定义/裁剪的基本方法；理解现代流行的各种迭代式软件开发与敏捷软件过程的背景和架构，以及在选择这些模型时需做出的折中；理解软件过程改进的思想、方法和软性因素。 内容提要： Topic 1 Basic Aspect of Software Process Chapter 1: Software engineering principle Specifying a case study background of an IT company and a software project; Learning from Basic Software Engineering Process; Software product and Software Crisis; Software Myths; Software Engineering–A Layered Technology; Introduction to software engineering body of Knowledge (SWEBOK). Chapter 2: Software process and software life cycle Defining the Software Life cycle