3梁爱虎《SOA思想技术与系统集成应用详解》电子华南师范大学.docx

1、3梁爱虎SOA思想技术与系统集成应用详解电子华南师范大学华南师范大学学术型硕士研究生培养方案院（系）名称计算机学院研 究 方 向学科专业一级学科：软件工程1软件工程理论与方法 2协同软件与信息服务 3软件系统设计与项目管理 4软件需求工程 5云计算与大数据处理 6空间信息处理技术 学 制3年7下一代网络技术 8嵌入式系统与软件 培养目标：1、 掌握马克思主义基本理论，坚持四项基本原则，热爱祖国，遵纪守法，有高尚的道德情操。 2系统掌握计算机科学与技术学科的基础理论和应用基础理论，具备坚实、系统的专业知识，具有从事科学研究工作或独立担负专门技术工作的能力。 3至少掌握一门外语，能熟练地阅读本专业

2、的外文文献。培养的主要内容（方式、方法和要求）：1、学分要求：32-36学分。 2、学位课（共7门）、）、“文献综述”、“学术报告”和“科研实践能力训练”是必修内容，所有课程（包括学位课和选修课）学习应在入学后一学年半内完成。计算机科学与技术一级学科学位课面向计算机科学的数理逻辑可作为本学科的选修课。3、实行导师负责制，在新生入学一个月内由研究生和导师共同制订个人培养计划。学术型研究生教学计划院（系）名称计算机学院学科专业软件工程（一级学科）类别课程名称学时学分主讲教师各学期教学安排考查考试一二三四五六公共必修课外 国 语 904政治理论743学科基础课计算理论导论 Introduction

3、to the Theory of Computation543学院统一安排 高级数据库技术 Advanced Database Technology543学院统一安排 专业必修课高级软件工程Advanced Software Engineering543学院统一安排 现代网络技术 Advanced Network Technology543学院统一安排 人工智能原理 Principle of Artificial Intelligence543学院统一安排选修课程数字信号与图像处理的数学基础Mathematical Basis for Digital Signal and Image Proc

4、essing 362李兴民 软件工程方法学 Software Engineering Methodology 362王涛 协同计算与社会网络服务Collaborative Computing and Social Network Services 362汤庸、李建国 面向对象技术与UML Object-oriented Technology and UML 362肖菁 云计算 Cloud Computing362赵淦森 Web服务和SOA Web Services and SOA 362范冰冰 空间信息导论 Introduction to Spatial information362张金区、李

5、慧 遥感图像处理 Remote Sensing Image Processing362李慧 本体理论与本体工程Ontology Theory and Ontology Engineering362刘海 物联网技术导论 Introduction to Internet of Things 362单志龙 信息检索技术 Introduction to Information Retrieval 362李建国 分布计算系统 Distributed Computing System 362刘波 现代密码学 Modern Cryptography 362马昌社 XML 数据库 XML database 3

6、62汤娜、叶小平 模型检测 Model Checking362杨晋吉 嵌入式Linux内核分析 Analysis of Embedded Linux Kernel 362冯刚 人工神经网络 Artificial Neural Network362葛红 嵌入式微处理器系统 Embedded Microprocessor System362金京林 面向计算机科学的高等数学 Advanced Mathematics in Computer Science 362龚征、王立斌 信息系统安全 Security of Information Systems 362龚征 智能决策系统 Intelligenc

7、e Decision Supporting System 362陈红英 机器学习 Machine Learning 362陈振洲、陈红英 算法与计算复杂性理论 Algorithms and Computational Complexity Theory 362陈卫东 最优化方法 Optimization Method 362曹惉懋、陈卫东 软件项目管理与软件质量保障 Software Project Management and Software Quality Assurance362庞雄文、刘宇东 概率与计算 Probability and Computing362曹阳 智能移动定位服务技

8、术 Intelligent Location-Based Services 362王兴芳、曹阳 计算机仿真建模与分析 Computer Simulation Modeling and analysis 362张奇支 嵌入式系统开发入门 Introduction to Embedded System Development 362詹泳 数据、信息与可视化 Data，Information & Visualization 362张金区 数据挖掘与商务智能 Data Mining and Business Intelligence362黄晋程序化交易 Program Trading 362徐清振 高

9、级计算机算法 Advanced Computer Algorithms 362曾碧卿 网格计算 Grid Computing362聂瑞华 统计过程控制 Statistical Process Control362肖应旺 知识工程与知识管理 Knowledge Engineering and Knowledge Management 362冼广铭 事务处理与数据库安全 Transaction Processing and Database Security362陈启买 服务计算技术及应用 Service Computing Technology and its Applications362黄昌

10、勤 计算智能与传感器网络 Computing Intelligence and Sensor network362李晶晶、叶小平 时态与移动对象数据库 Temporal and moving objects databases362叶小平、汤娜社会计算 Social Computing362沈映珊网络数据挖掘 Web Data Mining362谭琦、葛红文献综述1 学术报告1 科研实践能力训练2 学 位 论 文 *“各学期教学安排”、“考查”和“考试”栏目里用“”来表示。软件工程专业学术型研究生必读文献主要书目和期刊目录序号文献名称作者或出版社文献类别1ACM Transactions on

11、 Programming Languages & SystemsACM期刊2ACM Transactions on Software Engineering MethodologyACM期刊3IEEE Transactions on Software EngineeringIEEE期刊4Journal of the ACMACM期刊5ACM Transactions on Database SystemsACM期刊6ACM Transactions on InformationSystemsACM期刊7IEEE Transactions on Knowledge andData Enginee

12、ringIEEE 期刊8Automated Software EngineeringSpringer期刊9Empirical Software EngineeringSpringer期刊10IEEE Transactions on Service ComputingIEEE期刊11Information and Software TechnologyElsevie期刊12Journal of Software: Evolution and ProcessWiley期刊13Journal of Systems and SoftwareElsevier期刊14Requirements Engine

13、eringSpringer期刊15Science of Computer ProgrammingElsevier期刊16Software and System ModelingSpringer期刊17Software: Practice and ExperienceWiley期刊18Software Testing, Verification and ReliabilityWiley期刊19Computer Languages, Systems and StructuresElsevier期刊20International Journal on Software Engineering and

14、 Knowledge EngineeringWorld Scientific期刊21Journal of Logic and Algebraic ProgrammingElsevier期刊22Software Quality JournalSpringer期刊23Theory and Practice of Logic ProgrammingCambridge University Press期刊24Data and Knowledge EngineeringElsevier期刊25Knowledge and Information SystemsSpringer期刊26ACM Transac

15、tions on Computer-Human InteractionACM期刊27IEEE Transactions on IntelligentTransportation SystemsIEEE期刊28Advanced Engineering InformaticsElsevier期刊29Journal of Functional ProgrammingCambridge University Press期刊30IET SoftwareIET期刊31Information SystemsElsevier期刊32ACM Transactions on Mathematical Softwa

16、reACM期刊33Artificial IntelligenceElsevier期刊34International Journal on Software Tools for Technology TransfeSpringer期刊35Service Oriented Computing and ApplicationsSpringer期刊计算理论导论课程简明教学大纲课程名称计算理论导论 Introduction to the Theory of Computation课程编号2202a0001课程负责人蒋运承教学成员蒋运承学时54学分3课程类别学科基础课授课方式讲授+专题讨论教学目的及要求该

17、课程主要面向计算机科学与技术、软件工程等专业的研究生开课，要求选课同学具有一定的数学基础（学习了高等数学、离散数学、线性代数等）以及基本的计算机编程基础（学习了C语言、C+语言或者Java语言等）。该课程主要向学生讲授计算理论的主要内容，使学生掌握形式语言与自动机、可计算理论以及复杂性理论领域的重要问题和结果。加强学生的理论计算机基础，同时帮助学生了解理论计算机学科算法方向的知识。教学方式以课堂讲授为主，辅以专题讨论。课程内容课程内容主要包括三部分：形式语言与自动机、可计算理论以及复杂性理论。主要以国际上计算理论最权威的教材之一（Michael Sipser, Introduction to

18、the Theory of Computation, Third Edition, Wadsworth Publishing Co Inc, 2012）为授课教材。具体授课内容如下：1. Regular Languages（正则语言）2. Context-Free Languages（上下文无关语言）3. The Church-Turing Thesis（邱奇-图灵论题）4. Decidability（可判定性）5. Reducibility（可归约性）6. Time Complexity（时间复杂性）7. Space Complexity（空间复杂性）8. Intractability（难解

19、性）考核方式期末考试70% + 平时成绩30%参考书目Michael Sipser, Introduction to the Theory of Computation, Third Edition, Wadsworth Publishing Co Inc, 2012.Harry Lewis, Christos H. Papadimitriou, Elements of the Theory of Computation, Second Edition, Prentice-Hall, 1998.高级数据库技术课程简明教学大纲课程名称高级数据库技术 Advanced Database Techn

20、ology课程编号2202a0002课程负责人汤庸教学成员叶小平、陈洁敏学时54学分3课程类别学科基础课授课方式讲授+讨论教学目的及要求数据库技术是不断发展的学科，所涵盖的范围很大，无法在一门课程中面面俱到。本书作为高级数据库技术教材，主要考虑数据库学科内涵、技术外延以及应用特征，从数据模型、智能数据处理技术、网络环境数据库技术及应用实践等方面组织材料。 基本目标是希望通过本课程教学，使学生掌握数据库技术核心概念，了解数据库技术研究与应用需要的主要知识点，跟踪数据库新技术发展方向，为进一步从事数据库技术的研究或应用提供理论基础和技术思路。课程内容高级数据库技术概述。简要回顾数据库发展阶段，讨论

21、数据库技术的内涵与外延，介绍数据库技术的学术资源，分析数据库研究热点。关系数据基本理论。学习过课程数据库系统的本科生可以用来温习数据库基础理论，没有学过数据库课程的研究生可以用来补习数据库基础理论知识。高级数据模型。高级数据模型是相对关系数据模型而言的，该章包括面向对象数据库、对象关系数据库、介绍时态数据库、空间数据库技术等重要数据模型，为进一步研究新数据模型提供基础和思路。智能数据处理技术。知识是数据的特殊形式，智能数据处理是数据库技术应用的主要特征。该章主要包括知识表达和知识库系统基本概念，介绍主动数据库、决策支持系统等知识数据的处理，为进一步数据库中知识数据的应用提供基础和方法。网络环境

22、数据管理。内容包括：分布式数据库技术、web数据库技术、XML数据库、移动数据库技术等，同时介绍当前数据库新技术热点应用，包括云计算、大数据、社会计算等，为了解网络环境数据库技术的应用提供基本概念和技术思路。从三个角度选取实例，进行高级数据库技术实践。第一节是以时态数据库管理系统实现为例，进行高级数据模式扩展的学习实践；第二节以时态工资知识数据库为例，进行面向对象、时态数据库、知识库等多种数据库技术综合应用的示范；第三节以面向学者的社交网络设计为例，介绍数据库新技术的应用实践，主要涉及信息检索、信息推荐与服务、云数据管理等数据库技术热点。考核方式论文报告参考书目 汤庸等，高级数据库技术，高等教

23、育出版社，2010 SIGMOD, http:/www.sigmod.org VLDB, http:/www.vldb.org ACM Transactions on Database Systems , http:/www.acm.org/tods/ ACM Transactions on Information and Systems, http:/www.acm.org/pubs/tois/IEEE Transactions on Knowledge and Data Engineering, puter.org/tkde/高级软件工程课程简明教学大纲课程名称高级软件工程 Advance

24、d Software Engineering课程编号2202b0004课程负责人肖菁教学成员肖菁学时54学分3课程类别专业必修课授课方式讲授+讨论教学目的及要求软件工程是计算机专业本科和研究生教学的重要专业课之一。通过研究生阶段的高级软件工程这一课程的学习，要求学生在精通软件工程基本概念的基础上，掌握软件工程的一些高级课题。主要教学内容包括软件过程、软件工程实践、应用WEB工程、管理软件项目及软件工程高级课题五个部分。通过这门课的学习，使得学生掌握软件系统开发的基本方法，并能够按照工程学的方法，组织实施软件开发项目，从技术上和管理上采取多种方法、措施和机制，以保证项目达到的软件功能、付出合理的开发成本、具有较好的软件性能、保证开放的扩充接口、支持简单的维护操作和一定的安全机制。课程内容第一部分：软件过程，介绍惯例模型和敏捷过程模型。（4学时）第一章 软件工程介绍第二章 过程综述第三章 过程模型第四章 敏捷视角下的过程第二部分：软件工程实践，介绍现代分析、设计和测试方法，重点是基于UML的建模。（20学时）第五章 软件工程实践综述第六章 系统工程第七章 需求工程第八章 构件分析模型第九章 设计工程第一十章 进行体系结构设计第一十一章 构件级设计建模第一十二章 完成用户界面设计第一十三章