资源描述：
《高性能计算机系统》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、...软件的数学背景MathematicalFundamentalsforSoftware课程编号：……….课程属性：公共基础课学时/学分：40/2预修课程：递归概念及应用、程序设计、软件体系结构教学目的和要求：本课程面向中高级软件人才的培养而开设，目的是为学生在将来进入软件设计和实现，特别是复杂的软件系统的设计与实现所应该具备的数学背景知识，以求减少软件研发中的盲目性和试探性，为增加软件设计的合理性和可靠性提供必要的基础理论意义上的支持。内容提要：第一章基础知识能行性，映射，布尔代数第二章递归递归，递归函数类，软件的控制机制与递归的关系第三章计算模型递归函数类，图灵
2、机，λ－演算，Post模型，Horn子句第四章自动机状态机，有限自动机，下推自动机，Markov链第五章Boole代数基本知识，布尔代数与集合论的关系，布尔逻辑在软件中的应用举例第六章PETRI网基本Petri网，随机Petri网，扩展的DSPN，Petri网的应用主要参考书：1.R.L.Graham,D.E.Knuth,O.Patashnik,ConcreteMathematics,Addison-WesleyPublishingCompany,1990.2.JohnE.Hopcroft,R.Motwani,J.D.Uiiman,IntroductiontoAuto
3、mataTheory,Languages,andComputation,Addison-WesleyPublishingCompany,2001.3.G.Balbo,J.Desel,K.Jensen,W.Reisig,G.Rozenberg,M.Silva,PetriNets2000,21stInternationalConferenceonApplicationandTheoryofPetriNets,Aarhus,denmark,June,20004.莫绍揆著，递归论，科学出版社，北京，1999.撰写人：董占球、章森(中国科学院研究生院)撰写日期：2005年07月
4、.......高质量软件工程过程highquality课程编号：Z20031300J04课程属性：专业基础课学时/学分：60/3预修课程：softwaredevelopmentexperience,andgoodEnglishreadingskill。教学目的和要求：本课程是中科院研究生院软件学院软件工程硕士专业基础课程之一。本课程以案例分析为主线，从软件工程的基本原理和知识体系入手，介绍了软件生命周期和软件过程的基本内涵和相互关系，讨论了各种软件生命周期模型优缺点和软件过程定义的基本方法，重点剖析了软件过程成熟度模型集成（CMMI）的基本原理与应用，并对现代流行的迭
5、代式软件开发和敏捷软件过程如Rational统一过程（RUP）、微软解决方案框架（MSF）、极端编程（XP）和开放源码软件（OSS）等进行了分析，最后综合讨论了软件过程改进的思想、方法和软性因素。在完成本课程后，学生应能够：理解软件工程的基本原理、知识体系；理解软件生命周期和软件过程的基本内涵以及二者的关联和应用，理解各种软件生命周期模型优缺点；理解软件过程的能力成熟度模型集成及其应用，理解软件过程定义/裁剪的基本方法；理解现代流行的各种迭代式软件开发与敏捷软件过程的背景和架构，以及在选择这些模型时需做出的折中；理解软件过程改进的思想、方法和软性因素。内容提要：Top
6、ic1BasicAspectofSoftwareProcessChapter1:SoftwareengineeringprincipleSpecifyingacasestudybackgroundofanITcompanyandasoftwareproject;LearningfromBasicSoftwareEngineeringProcess;SoftwareproductandSoftwareCrisis;SoftwareMyths;SoftwareEngineering–ALayeredTechnology;Introductiontosoftwareengi
7、neeringbodyofKnowledge(SWEBOK).Chapter2:SoftwareprocessandsoftwarelifecycleDefiningtheSoftwareLifecycleandtheSoftwareProcess;IntegratingtheSoftwareLifeCycleandtheSoftwareProcess;softwarelifecyclemodels;theprincipleandmethodofsoftwareprocessmodeling.Topic2SoftwareProcessCapabili
