Computer Software the Theory-（计算机软件与理论培养方案）.docx

计算机软件与理论Computer Software the Theory（081202） 培养方案（一） 培养目标和要求1、努力学习马列主义、毛泽东思想和邓小平理论，坚持党的基本路线，热爱祖国，遵纪守法，品德良好，学风严谨，具有较强的事业心和献身精神，积极为社会主义现代化建设服务。2、掌握坚实宽广的理论基础和系统深入的专门知识，具有独立从事科学研究工作的能力和社会管理方面的适应性，在科学和管理上能作出创造性的研究成果。3、积极参加体育锻炼，身体健康。4、硕士应达到的要求：(1)掌握本学科的基础理论和相关学科的基础知识，有较强的自学能力，及时跟踪学科发展动态。(2)具有项目组织综合能力和团队工作精神，具有一定的公关能力及和谐的人际关系。(3)具有强烈的责任心和敬业精神。(4)广泛获取各类相关知识，对科技发展具有敏感性。(5)有扎实的英语基础知识，能流利阅读专业文献，有较好的听说写译综合技能。5、本专业主要学习计算机科学与技术的基础理论，要求本专业的硕士毕业生具有严谨求实的科学态度与作风，掌握计算机软件的研制、开发所涉及的理论、算法和技术，熟悉现代计算机软、硬件环境和工具，具有从事科学研究或独立担负专门技术工作的能力，能运用计算机解决实际应用课题，并熟练掌握一门外国语。可在科研院所、工厂企业以及高等院校从事与本专业相关的研究、技术或教学工作。 （二）研究方向请添加研究方向的简介及主要导师简介1、 软件工程软件工程主要研究软件测试、软件设计理论等领域，重点研究面向对象软件的开发和测试技术，包括：（1）类测试技术研究。重点研究基于有限状态机理论（FSM/EFSM）、基于状态转移图和基于对象动态测试模型的类测试方法；（2）面向对象软件的回归测试策略研究；（3）测试用例设计方法研究。针对面向对象软件测试技术的特点，利用层次划分、边控制域等概念进行测试用例设计；基于UML模型、马尔可夫链模型的软件测试用例的自动生成方法；基于场景、相关约束条件等生成测试用例。导师有：高建华教授；徐晓钟副教授；吴海涛副教授。2、 信息系统与数据库“信息系统与数据库”的研究内容：数据挖掘技术、数据库建模技术、数据库中间件技术等。陆黎明副教授的主要研究工作包括：数据挖掘算法的改进、数据挖掘的应用研究、数据库建模新技术等。导师有：高建华教授；陆黎明副教授。3、 遗传算法遗传算法是仿生算法的一种，就是仿照自然界中生物进化过程的一种算法。自然界是一个不断演化的系统，是不断从低级到高级，从简单到复杂进化的过程。遗传算法可以解决我们一般意义所理解的最优化问题。导师有：迟洪钦副教授，朱媛媛。4、 虚拟现实环境建模技术，即虚拟环境的建立，目的是获取实际三维环境的三维数据，并根据应用的需要，利用获取的三维数据建立相应的虚拟环境模型；人机交互技术；系统集成技术，虚拟现实系统中包括大量的感知信息和模型，系统集成技术包括信息同步技术、模型标定技术、数据转换技术、识别和合成技术。导师有：郭善良副教授。 （三）学制三年（特殊情况下可以适当延长或缩短） （四）课程设置与学分要求 1、必修课程： （1）学位公共课程： 科学社会主义理论与实践Theory and Practice of Scientific Socialism （2学分） 自然辩证法 Dialectics of Nature （2学分） 第一外国语 First Foreign Language （2学分）（2）学位基础课：（每门课程3学分） 高等工程数学 Advanced Engineering Mathematics 计算机系统结构 Computer Architecture 计算机网络 Computer Network 程序设计方法学 Programming Methodology（3）学位专业课：（除专业外语外，每门课程3学分） 计算机算法Computer Algorithm 高级软件工程 Advanced Software Engineering 数据库技术 Database Technology 人工智能与专家系统Artificial Intelligence and Expert System 多媒体技术 Muiltmedia Technology 专业外语 Specialized Foreign Language（2学分） 【注】专业外语为必选课程。每个学生根据不同研究方向还需选择其他两门或两门以上的课程。2、选修课程：（1）公共选修课英语口语（2学分）计算机基础（2学分）（2）专业选修课 （每门课程2学分）计算机图形学 Computer Graphics 遗传算法 Genetics Algorithm 软件可靠性与安全性 Reliability and Safety of Software 计算机安全Computer Security 数字图象处理Digital Image Processing 模式识别 Pattern Recogntion 数字信号处理Digital Signal Processing 计算机网络性能与仿真 Network Performance Analysis and Simulation Web Service 原理 Web Service Principle【注】每个学生根据不同研究方向需选择两门或两门以上的课程。 （3）讨论班与论文选读 （是否开课由导师决定）3、同等学力或跨专业报考者补修课程： 离散数学 Discrete Mathematics（3学分） 计算机网络 Computer Network（3学分） 数据结构 Data Structure（3学分）【注】学生可根据导师安排选修其他相关学科的课程，并按专业选修课计算学分。（五）培养方式与考核方式学位基础课和学位专业课以教师讲授为主，少数内容可以在教师指导下由学生轮流报告。专业选修课采用教师讲授与学生报告相结合的方法，以学生报告为主，逐步减少教师的讲授内容。从二年级开始，根据各研究方向，学生在导师指导下查阅和报告有关文献，开展专题讨论，在此基础上形成毕业论文题目，并围绕该题目进行研究，最后完成毕业论文，进一步提高学生科研能力和创新意识。课程考核分考试与考查两种方式，可采用笔试/口试、闭卷/开卷、撰写论文、完成项目等形式进行。必修课程原则上都要进行笔试。研究生课程的成绩由平时成绩和期末考试成绩综合评定。考试成绩采用百分制记录，也可以分优（90分-100分）、良（80分-89分）、中（70分-79分）、及格（60分-69分）、不及格五等；考查成绩以合格、不合格记。撰写论文，以优、良、中、及格、不及格五级计算成绩。 （六）学位论文撰写与答辩添加盲审环节及对应的时间节点。1、研究生在撰写论文之前，必须经过认真的调查研究，阅读大量的文献资料，了解本人主攻方向的历史和现状，在此基础上酝酿学位论文选题。 2、第四学期末，在导师指导下确定选题，写出开题报告，并经教研室有关专家论证。开题报告需包含：论题；论文的基本构思或大纲；论题的学术意义和现实意义；已阅读过的和准备阅读的资料；疑点和难点等。论文的选题和内容应具有一定理论价值和应用价值，有一定的创意和前沿性。 3、第四学期末至第六学期初，研究生根据选题撰写学位论文。4、论文送审与答辩（1）论文送审，硕士学位论文至少校内外各1位具有副教授及以上职称专家评阅：如果参加盲检，论文还需各聘请1名校内与校外专家评阅；否则，只需请1名校内专家评阅（由学位点安排）。第六学期中期（3月中旬-4月初）经导师同意由研究生登陆指定网站查看自己是否参加盲审。（2）盲审结束后无异议则进入答辩阶段（每年的5月下旬进行）。 （3）答辩委员会由3-5名与选题有关的教授（或研究员）、副教授（或副研究员）组成。答辩委员会推举一名答辩主席，答辩人的导师和副导师不能担任答辩主席。答辩后由答辩委员会投票表决，答辩主席在答辩决议书上签字。论文送审，硕士学位论文至少校内外各1位具有副教授及以上职称专家评阅：如果参加盲检，论文还需各聘请1名校内与校外专家评阅；否则，只需请1名校内专家评阅（由学位点安排）。第六学期中期（4月初）由研究生登陆指定网站查看自己是否参加盲审。5、论文答辩盲审结束后无异议则进入答辩阶段（每年的5月下旬进行） （1）学位论文由作者本人提交答辩委员会，由答辩秘书分送答辩委员。 （2）硕士学位论文答辩前须聘请2位（或以上）具有副教授（或以上）职称的专家评阅。 （3）答辩委员会由3-5名与选题有关的教授（或研究员）、副教授（或副研究员）组成。答辩委员会推举一名答辩主席，答辩人的导师和副导师不能担任答辩主席。答辩后由答辩委员会投票表决，答辩主席在答辩决议书上签字。 5、学位授予 论文在获三分之二（或以上）答辩委员通过后，答辩委员会可建议授予答辩人所申请的学位。（七）教学大纲课程大纲具体到二级标题：即章、节 高等工程数学 （一）教学目的和要求 通过本课程的学习使研究生掌握矩阵分析和随机过程的基本理论及其应用。要求掌握矩阵分解的基本理论和方法，熟悉线性变换的矩阵表示，了解矩阵函数的性质和应用；掌握随机过程的基本概念，熟悉几种重要的随机过程及其应用，了解各态历经性与谱分解。 （二）基本教学内容第一部分 矩阵分析第一章 线性空间与线性变换 1.1 线性空间的概念 1.2 基变换与坐标变换 1.3 子空间与维数定理 1.4 线性空间的同构 1.5 线性变换的概念 1.6 线性变换的矩阵表示 1.7 不变子空间第二章 内积空间 2.1 内积空间的概念 2.2 正交基及子空间的正交关系 2.3 内积空间的同构 2.4 正交变换 2.5 点到子空间的距离与最小二乘法 2.6 复内积空间 2.7 正规矩阵 2.8 二次型第三章 矩阵的标准形与若干分解形式 3.1 矩阵的相似对角形 3.2 矩阵的约当标准形 3.3 哈密顿-开莱定理及矩阵的最小多项式 3.4 多项式矩阵与史密斯标准形 3.5 多项式矩阵的互质性与既约性 3.6 有理分式矩阵的标准形及其仿分式分解 3.7 系统的传递函数矩阵 3.8 舒尔定理及矩阵的分解 3.9 矩阵的奇异值分解第四章 阵函数及其应用 4.1 向量范数 4.2 矩阵范数 4.3 向量和矩阵的极限 4.4 矩阵幂级数 4.5 矩阵函数 4.6 矩阵的微分与积分 4.7 常用矩阵函数的性质 4.8 矩阵函数在微分方程组中的应用 4.9 线性系统的能控性与能观测性第五章 特征值的估计与广义逆矩阵 5.1 特征值的界的估计 5.2 圆盘定理 5.3 谱半径的估计 5.4 广义逆矩阵与线性方程组的解 5.5 广义逆矩阵A+第六章 勒贝格积分简介 6.1 集合及其基数 6.2 测度理论 6.3 可测函数 6.4 勒贝格积分第二部分 随机过程第一章 概率论补充知识 1.1 概率空间 1.2 随机变量 1.3 特征函数 1.4 多元正态分布 1.5 随机变量序列的收敛性 1.6 随机变量函数的分布 1.7 条件数学期望第二章 随机过程的基本概念 2.1 随机过程的定义 2.2 随机过程的分布及其数字特征 2.3 复随机过程 2.4 几种重要的随机过程类型 2.5 Wiener过程 2.6 Poisson过程第三章 二阶矩过程的均方微积分 3.1 随机变量序列的均方极限 3.2 随机过程的均方连续 3.3 随机过程的均方导数 3.4 随机过程的均方积分 3.5 均方随机微分过程 3.6 正态过程的均方微积分第四章 平稳过程 4.1 平稳过程的定义 4.2 平稳过程相关函数的性质 4.3 平稳过程的功率谱密度 4.4 线性过程中的平稳过程 4.5 平稳过程的谱分解 4.6 平稳过程的各态历经性第五章 马尔可夫过程 5.1 马尔可夫过程的定义 5.2 马氏链的转移概率 5.3 马氏链的状态分类 5.4 转移概率的极限与平稳分布 5.5 连续时间马氏过程的转移概率 5.6 马氏过程的遍历性和平稳分布 5.7 应用举例第六章 更新过程与马尔可夫更新过程 6.1 更新过程的定义 6.2 更新方程与极限定理 6.3 剩余寿命与现时寿命 6.4 延迟与终止过程 6.5 马尔可夫更新过程的定义 6.6 状态分类与极限概率 6.7 马尔可夫更新方程 6.8 再生过程与报酬过程 6.9 广义半马氏过程简介第七章 非平稳随机过程 7.1 随机过程的高阶统计量的定义和性质 7.2 非平稳过程的Wigner-Ville时频谱分析 7.3 循环平稳过程 7.4 二阶循环平稳过程的循环相关函数与循环谱 7.5 高阶循环平稳过程的循环累积量与循环谱 （三）主要参考资料矩阵分析引论，罗家洪，华南理工大学出版社，1992年。随机过程，毛用才，胡奇英，西安电子科技大学出版社，1998年。工程随机过程，彭秀艳，哈尔滨工程大学出版社，2000年。应用随机过程，钱敏平，龚光鲁，北京大学出版社，1998年。随机信号分析，朱华等，北京理工大学出版社，1990年。 （四）任课教师：迟洪钦 （五）总时数：72学时 （六）考核方式：考试 计算机系统结构 （一）教学目的和要求 本课程要求学生掌握计算机系统结构的基本概念、基本原理、基本结构和基本分析方法。重点是计算机系统结构的分类：流水线结构；RISC和CISC；多机系统的内联网络；多处理系统；多计算机系统；并行处理、并行计算的算法；非Von Neumann计算结构等方面。课程在包含基本原理、基本理论的同时，也包含了计算机系统结构的最新发展情况。为研究生进一步研究计算机系统结构打下理论基础。 （二）基本教学内容第一章 计算机系统结构分类 1.1 计算机发展的历史和现状 1.2 计算机系统结构分类学 1.3 性能参数第二章 Von Neumann计算机结构 2.1 控制部件 2.2 指令集设计 2.3 算术逻辑部件 2.4 存储系统设计交叉存储、关联存储、Cache存储、虚拟存储 2.5 中断管理第三章 流水线 3.1 问题的提出 3.2 指令流水线 3.3 算术流水线 3.4 流水线控制静态控制和动态控制 3.5 流水线的发展第四章 RISC和CISC 4.1 基本概念 4.2 RISC和SISC的比较 4.3 实例第五章 内连网络 5.1 网络的拓扑结构 5.2 静态结构 5.3 动态结构 5.4 内连网络设计要素第六章 多处理和多计算机系统 6.1 多处理系统 6.2 多计算机系统 6.3 它们的比较 6.4 多处理机多计算机系统第七章 并行程序设计和并行算法 7.1 并行程序设计模型 7.2 多处理机上的并行程序设计 7.3 多计算机上的并行程序设计 7.4 并行计算和并行算法结构 7.5 数据并行性算法 7.6 实例 7.7 DNS-域名系统第八章 数据流和脉动阵列计算机结构 8.1 概论 8.2 数据流计算机结构 8.3 脉动阵列计算机结构 8.4 计算机系统结构的未来 8.5 神经网络计算机 8.6 多值逻辑 8.7 模糊逻辑 （三）主要参考资料Conputer ArchitectureSingle and Parallel Systems，Mehdi R. Zargham，Prentice Hall，1996年。计算机系统结构，李学干、苏东庄，西安电子科技大学出版社，1995年。计算机系统结构，郑纬民等，清华大学出版社，1992年。 （四）任课教师：赵梗明 （五）总时数：72学时 （六）考核方式：考试计算机网络 （一）教学目的和要求 本课程是计算机应用技术研究生的必修课，它可以使学生能系统地掌握计算机网络的工作原理，体系结构、分层协议，网络互连，网络新技术基础知识。学习本课程要求学生应具有计算机组织结构，操作系统和数据通信基础知识。 （二）基本教学内容第一章 引论 1.1 网络的发展过程 1.2 网络的分类 1.3 若干术语与概念 1.4国内外网络的发展现状第二章 物理层 2.1 基本概念 2.2 信道极限客量 2.3 传输媒体 2.4 模拟传输和数字传输第三章 数据链路层 3.1 基本概念 3.2 停止等待协议 3.3 连续ARQ协议 3.4 面向比特的控制规程 3.5 面向字节的控制规程第四章 信息共享技术 4.1 概念 4.2 多道接入技术-轮询 4.3 随机接入技术：ALOHA 4.4 随机接入技术 CSMA 和CSMA/CD第五章 局域网 5.1 概述 5.2 局域网参考核型 5.3 ISO 802.3 ：CSMA/CD4 5.4 ISO 802.4 ： Token Bus 5.5 ISO 802.5 ：Token Ring 5.6 局域网的新发展 5.7 局域网的控制第六章 网络层 6.1 网络层的提供的服务 6.2 路由选择 6.3 流量控制 6.4 X.25建议书第七章 网络互连 7.1 概述 7.2 OSI的网络层标组 7.3 Internet的互连网协议IP 7.4 几种常用的互连网选路协议第八章 运输层 8.1 OSI 运输层协议 8.2 TCP/IP体系中的运输层：TCPUDP第九章 高层协议 9.1 会活层 9.2 表示层 9.3 应用层 9.4 TCP/IP体系的应用层第十章 网络新技术和安全 10.1 网络管理 10.2 综合业务数字网ISDN 10.3 宽带综合业务数字网B-ISDN 10.4 城域网MAN 10.5 数据加密 10.6 网络环境下的威胁和安全措施 （三）主要参考资料Computer NetworksAndrew S.Tanendaum 著，Fourth Edition, Prentice Hall International, Inc.2005.清华大学出版社，2005年。计算机网络，胡金初，高等教育出版社，2006年。Computer Networks and Internet，Douglas E. Comer，Prentice Hall，2005年。 （四）任课教师：胡金初 （五）总时数：72学时 （六）考核方式：考试程序设计方法学 （一）教学目的和要求 本课程的目的是要求学生掌握程序设计方法的概念、结构、描述方法、设计技术和设计工具，学习程序结构分析方法和程序正确性证明、设计策略等内容，介绍程序设计方法进几年来的发展概况。 （二）基本教学内容第一章 程序设计方法学简介 1.1 程序设计方法学的产生 1.2 结构程序设计及其讨论的一些主要问题第二章 结构化程序 2.1 什么是结构化程序 2.2 结构化定理 2.3 一些新的控制结构第三章 模块化程序设计 3.1 MODULA-2语言中的模块化结构 3.2 ADA语言中的程序包第四章 面向对象的程序设计方法 4.1 什么是面向对象的程序设计 4.2 应用框架 4.3 设计模式 4.4 浅谈面向对象设计语言第五章 程序正确性证明 5.1 概述 5.2 不变式断言法 5.3 子目标断言法 5.4 公理化方法 5.5 良序集方法 5.6 计数器方法第六章 结构化程序的正确性证明 6.1 正确性定理 6.2 证明程序正确性的代数方法 6.3 产生循环不变式的一种方法第七章 递归程序及其正确性证明 7.1 迭代与递归 7.2 递归程序的一种模型 7.3 递归程序的正确性证明第八章 程序的形式推导技术 8.1 谓词变换器及其性质 8.2 面向目标的程序推导 8.3 循环不变式的推导技术第九章 程序变换技术 9.1 程序变换的基本思想和基本规则 9.2 程序生成阶段 9.3 程序改进阶段(I) 9.4 程序改进阶段() 9.5 程序改进阶段() 9.6 程序变换研究中的若干问题第十章 大型程序设计方法学基础 10.1 抽象数据类型的代数规范 10.2 抽象数据类型的形式化基础 10.3 形式规范的应用 （三）主要参考资料程序设计的方法学教程，张辛儿，南京大学出版社，1992年。程序设计的方法学，仲萃豪等，北京科学技术出版社，1985年。 （四）任课教师：高建华 （五）总时数：72学时 （六）考核方式：考试计算机算法 （一）教学目的和要求 计算机算法是计算机科学的核心课程，设计一个好的程序必须要有合理的数据组织和高效的算法，在有限资源的环境下，如何设计出有效的算法，这正是计算机科学领域里算法设计所研究的内容。本课程以算法设计和分析为重点，同时也适当地介绍计算机算法的表示和证明，为程序的设计和证明打下坚实的基础。 （二）基本教学内容第一章 Basic Concepts in Algorithmic Analysis 1.1 Introduction 1.2 Historical Background 1.3 Binary Search 1.4 Merging Two Sorted Lists 1.5 Selectinn Sort 1.6 Insertion Sort 1.7 Bottom-Up Merge Sorting 1.8 Time Complexity 1.9 Space Complexity 1.10 Optimal Algorithms 1.11 How to Bstimate the Running Time of an Algorithm 1.12 Worst case and average case analysis 1.13 Input Sise and Problem Instance第二章 Mathematical Preliminaries 2.1 Sots, Reations and Annctions 2.2 Proof Mehods 2.3 Logarithms 2.4 Floor and Ceiling Tunctions 2.5 Factorial and Binomial Coefficients 2.6 The Pigeonhole Principle 2.7 Summations 2.8 Recurrence Relations第三章 Data Structures 3.1 Introdction 3.2 Linked Lists 3.3 Graphs 3.4 Trees 3.5 Rooted Trees 3.6 Binary Trees第四章 Heaps and the Disjoint Sets Data Structure 4.1 Introduction 4.2 Heaps 4.3 Disjoint Sets Data Structures第五章 Induction 5.1 Introduction 5.2 Two Simple Examples 5.3 Tadix Sort 5.4 Integer Exponentiation 5.5 Evaluating Polynomials (Horners Rule) 5.6 Generating Permutations 5.7 Finding the Majority Element第六章 Divide and Conquer 6.1 Introduction 6.2 Binary Search 6.3 Mergesort 6.4 The Divide and Conquer Paradigm 6.5 Selection: Finding the Median and the kth Smallest Element 6.6 Quicksort 6.7 Multiplication of Large Integers 6.8 Matrin Multiplication 6.9 The Closest Pair Prob1em第七章 Dynamic Programming 7.1 Introduction 7.2 The Longed Common Subsequence Problem 7.3 Matris Chain Multiplication 7.4 The Dynamic Programming Paradigm 7.5 The All-Pairs Shortest Path Problem 7.6 The Knapsack Problem第八章 The Greedy Approach 8.1 Introduction 8.2 The Shortest Path Problem 8.3 Minimum Cost Spanning nees (Kruskals Algorithm) 8.4 Minimum Cost Spanning nees (Prims Algorithm) 8.5 File Compression第九章 Graph Thaversal 9.1 Introduction 9.2 Depth-First Search 9.3 Applications of Depth-First Search 9.4 Breadth-First Search 9.5 Applications of Breadth-First Sparch第十章 NP-Complete Problems 10.1 Introduction 10.2 The Class P 10.3 The Class NP 10.4 NP-Complete Problems 10.5 The Class co-NP 10.6 The Class NPI 10.7 The Relationips Between the Four Classes第十一章 Introduction to Computational Complexity 11.1 Introduction 11.2 Mode of Computation: Tlie Turing Machine 11.3 k-tape Thring Machines and Time complexity 11.4 Off-Line Turing Machines and Space Complexity 11.5 Tape Compression and Linear Speed-Up 11.6 Relationships Between complexity Classes 11.7 Reductions 11.8 Completeness 11.9 The Polynomial Time Hierarchy第十二章 Lower Bouuds 12.1 Introduction 12.2 Trivial Lower Bounds 12.3 The Decision Tree Model 12.4 The Algebraic Decision Tree Model 12.5 Linear Time bouctions第十三章 Backtracking 13.1 Introduction 13.2 The 3-Coloring Problem 13.3 The 8-Queens Problem 13.4 The General Backtracking Method 13.5 Branch and Bound第十四章 Randomized Algorithms 14.1 Introduction 14.2 Las Vegas and Moote Carlo Algorithms 14.3 Randomised Quicksort 14.4 Randomized Selection 14.5 Testing String Equality 14.6 Pattern Matching 14.7 Random Sampling 14.8 Primality Testing第十五章 Approximation Algorithms 15.1 Introduction 15.2 Basic Definitions 15.3 Difference Bounds 15.4 Relative Performance Bounds 15.5 Polynomial Approximation Schemes 15.6 Fully Po1ynomial Approximation Schemes第十六章 Network Flow 16.1 Introduction 16.2 Pre1iminaries 16.3 The Ford-Fulkerson Method 16.4 Mtalmum Capacity Augmelltation 16.5 Shortest Path Augmentation 16.6 Dinics Algorithm 16.7 The MPM Algorithm第十七章 Matching 17.1 Introduction 17.2 Preliminaries 17.3 The Network Flow Method 17.4 The Hungarian Tree Method for Bipartite Graphs 17.5 Maximum Matching in General Graphs 17.6 An O(n) Algorithm for Bipwtite Graphs （三）主要参考资料Computer Algorithms，Sars Baase,Third Edition，高等教育出版社，2005年。计算机算法导论设计和分析，卢开澄编著，清华大学出版社，2002年。计算机算法设计和分析第二版，王晓东编箸，电子工业出版社，2004年。 （四）任课教师：胡金初 （五）总时数：72学时 （六）考核方式：考试 高级软件工程 （一）教学目的和要求 本课程要求学生在掌握传统软件工程理论的基础上，能够运用面向对象的系统分析与设计方法建立中小型应用系统，在整个软件开发过程对软件质量进行控制；了解CASE在软件开发中的应用，掌握至少一种CASE工具。 （二）基本教学内容第一章 传统软件工程回顾 1.1 可行性设计 1.2 需求分析 1.3 系统设计 1.4 编码 1.5 系统测试 1.6 实现及维护第二章 面向对象的系统分析与设计 2.1 对象分析及建模 2.2 设计方法学 2.3 面向对象的实现 2.4 应用举例第三章 CASE工具与应用 3.1 计算机辅助软件工程工具 3.2 数据库在CASE中的应用 3.3 Design Patterns 3.4 Power Design第四章 软件质量与质量保证 4.1 软件质量保证 4.2 软件工程标准化和软件文档 4.3 软件件行业国际标准介绍ISO9000及CMM第五章 课程设计 （三）主要参考资料软件工程（高级），郑人杰，清华大学出版社，1999年面向对象的系统分析，邵维忠、杨芙清，清华大学出版社，1998年软件工程导论，张海藩，清华大学出版社，2003年UML面向对象建模与设计，（美）Michael Blaha, James Rumbaugh，人民邮电出版社，2006年软件工程，杨文龙等，电子工业出版社，2001年 （四）任课教师：吴海涛 （五）总时数：72学时 （六）考核方式：课程设计或论文形式 数据库技术 （一）教学目的和要求 数据库系统是对数据进行存储、管理、处理和维护的软件系统，是现代计算环境中的一个核心成分。随着计算机硬件、软件技术的飞速发展和计算机系统在各行各业的广泛应用，数据库技术的发展尤其迅速，有关数据库系统的理论和技术是计算机科学技术教学中必不可少的部分。通过本课程的学习，要求掌握数据库系统的基本原理，掌握数据库的设计技术和方法，了解与此相关的前沿知识和技术（包括数据挖掘技术、XML技术、基于对象的数据库、并行数据库、分布式数据库等），使学生能够熟练运用数据库设计的主要技术和方法，如：ER方法和规范化方法等。 （二）基本教学内容第一章 概述1.1 数据库系统的应用1.2 数据库系统的目标1.3 数据模型1.4 数据库语言1.5 关系数据库1.6 数据库设计1.7 事务管理1.8 数据存储和查询1.9 基于对象数据库和半结构化数据库1.10 数据挖掘与分析1.11 数据库体系结构第二章 关系模型2.1 关系数据库的结构2.2 关系代数基本运算2.3 附加的关系代数运算2.4 扩展的关系代数运算2.5 空值2.6 数据库的修改第三章 SQL3.1 背景3.2 数据定义3.3 SQL查询的基本结构3.4 集合运算3.5 聚集函数3.6 空值3.7 嵌套子查询3.8 复杂查询3.9 视图3.10 数据库的修改3.11 连接关系第四章 高级SQL4.1 SQL的数据类型与模式4.2 完整性约束4.3 授权4.4 嵌入式SQL4.5 动态SQL4.6 函数和过程化结构4.7 递归查询4.8 高级SQL特性第五章 其他关系语言5.1 元组关系演算5.2 域关系演算5.3 QBE5.4 Datalog第六章 数据库设计和E-R模型6.1 设计过程概览6.2 实体-联系模型6.3 约束6.4 实体-联系图6.5 实体-联系设计问题6.6 弱实体集6.7 扩展E-R特性6.8 银行企业的数据库设计6.9 转换为关系模式6.10 数据库设计的其他方面6.11 统一建模语言UML第七章 关系数据库设计7.1 好的关系设计的特点7.2 原子域和第一范式7.3 函数依赖和范式7.4 模式分解理论7.5 分解的算法7.6 使用多值依赖的分解7.7 更多的范式7.8 数据库设计过程7.9 时态数据建模第八章 事务8.1 事务概念8.2 事务状态8.3 原子性和持久性的实现8.4 并发执行8.5 可串行化8.6 可恢复性8.7 隔离性的实现8.8 可串行化判定第九章 并发控制9.1 基于锁的协议9.2 基于时间戳的协议9.3 基于有效性检查的协议9.4 多粒度9.5 多版本机制9.6 死锁处理9.7 插入与删除操作9.8 弱一致性级别9.9 索引结构中的并发第十章 恢复系统10.1 故障分类10.2 存储器结