3梁爱虎《SOA思想技术与系统集成应用详解》电子华南师范大学.docx
《3梁爱虎《SOA思想技术与系统集成应用详解》电子华南师范大学.docx》由会员分享，可在线阅读，更多相关《3梁爱虎《SOA思想技术与系统集成应用详解》电子华南师范大学.docx（89页珍藏版）》请在冰豆网上搜索。
3梁爱虎《SOA思想技术与系统集成应用详解》电子华南师范大学
华南师范大学学术型硕士研究生培养方案
院（系）名称
计算机学院
研究方向
学科专业
一级学科：
软件工程
1
软件工程理论与方法
2
协同软件与信息服务
3
软件系统设计与项目管理
4
软件需求工程
5
云计算与大数据处理
6
空间信息处理技术
学制
3年
7
下一代网络技术
8
嵌入式系统与软件
培养目标：
1、掌握马克思主义基本理论，坚持四项基本原则，热爱祖国，遵纪守法，有高尚的道德情操。
2．系统掌握计算机科学与技术学科的基础理论和应用基础理论，具备坚实、系统的专业知识，具有从事科学研究工作或独立担负专门技术工作的能力。
3．至少掌握一门外语，能熟练地阅读本专业的外文文献。
培养的主要内容（方式、方法和要求）：
1、学分要求：
32-36学分。
2、学位课（共7门）、）、“文献综述”、“学术报告”和“科研实践能力训练”是必修内容，所有课程（包括学位课和选修课）学习应在入学后一学年半内完成。
计算机科学与技术一级学科学位课《面向计算机科学的数理逻辑》可作为本学科的选修课。
3、实行导师负责制，在新生入学一个月内由研究生和导师共同制订个人培养计划。
学术型研究生教学计划
院（系）名称
计算机学院
学科专业
软件工程（一级学科）
类别
课程名称
学时
学分
主讲教师
各学期教学安排
考查
考试
一
二
三
四
五
六
公共必修课
外国语
90
4
√
√
政治理论
74
3
√
√
学科基础课
计算理论导论IntroductiontotheTheoryofComputation
54
3
学院统一安排
√
√
高级数据库技术AdvancedDatabaseTechnology
54
3
学院统一安排
√
√
专业必修课
高级软件工程AdvancedSoftwareEngineering
54
3
学院统一安排
√
√
现代网络技术AdvancedNetworkTechnology
54
3
学院统一安排
√
√
人工智能原理PrincipleofArtificialIntelligence
54
3
学院统一安排
√
√
选
修
课
程
数字信号与图像处理的数学基础
MathematicalBasisforDigitalSignalandImageProcessing
36
2
李兴民
√
√
软件工程方法学SoftwareEngineeringMethodology
36
2
王涛
√
√
协同计算与社会网络服务
CollaborativeComputingandSocialNetworkServices
36
2
汤庸、李建国
√
√
面向对象技术与UMLObject-orientedTechnologyandUML
36
2
肖菁
√
√
云计算CloudComputing
36
2
赵淦森
√
√
Web服务和SOA WebServicesandSOA
36
2
范冰冰
√
√
空间信息导论IntroductiontoSpatialinformation
36
2
张金区、李慧
√
√
遥感图像处理RemoteSensingImageProcessing
36
2
李慧
√
√
本体理论与本体工程OntologyTheoryandOntologyEngineering
36
2
刘海
√
√
物联网技术导论IntroductiontoInternetofThings
36
2
单志龙
√
√
信息检索技术IntroductiontoInformationRetrieval
36
2
李建国
√
√
分布计算系统DistributedComputingSystem
36
2
刘波
√
√
现代密码学ModernCryptography
36
2
马昌社
√
√
XML数据库XMLdatabase
36
2
汤娜、叶小平
√
√
模型检测ModelChecking
36
2
杨晋吉
√
√
嵌入式Linux内核分析AnalysisofEmbeddedLinuxKernel
36
2
冯刚
√
√
人工神经网络ArtificialNeuralNetwork
36
2
葛红
√
√
嵌入式微处理器系统EmbeddedMicroprocessorSystem
36
2
金京林
√
√
面向计算机科学的高等数学
AdvancedMathematicsinComputerScience
36
2
龚征、王立斌
√
√
信息系统安全SecurityofInformationSystems
36
2
龚征
√
√
智能决策系统IntelligenceDecisionSupportingSystem
36
2
陈红英
√
√
机器学习MachineLearning
36
2
陈振洲、陈红英
√
√
算法与计算复杂性理论
AlgorithmsandComputationalComplexityTheory
36
2
陈卫东
√
√
最优化方法OptimizationMethod
36
2
曹惉懋、陈卫东
√
√
软件项目管理与软件质量保障SoftwareProjectManagementandSoftwareQualityAssurance
36
2
庞雄文、刘宇东
√
√
概率与计算ProbabilityandComputing
36
2
曹阳
√
√
智能移动定位服务技术
IntelligentLocation-BasedServices
36
2
王兴芳、曹阳
√
√
计算机仿真建模与分析
ComputerSimulationModelingandanalysis
36
2
张奇支
√
√
嵌入式系统开发入门
IntroductiontoEmbeddedSystemDevelopment
36
2
詹泳
√
√
数据、信息与可视化Data，Information&Visualization
36
2
张金区
√
√
数据挖掘与商务智能
DataMiningandBusinessIntelligence
36
2
黄晋
√
√
程序化交易ProgramTrading
36
2
徐清振
√
√
高级计算机算法AdvancedComputerAlgorithms
36
2
曾碧卿
√
√
网格计算GridComputing
36
2
聂瑞华
√
√
统计过程控制StatisticalProcessControl
36
2
肖应旺
√
√
知识工程与知识管理
KnowledgeEngineeringandKnowledgeManagement
36
2
冼广铭
√
√
事务处理与数据库安全
TransactionProcessingandDatabaseSecurity
36
2
陈启买
√
√
服务计算技术及应用
ServiceComputingTechnologyanditsApplications
36
2
黄昌勤
√
√
计算智能与传感器网络
ComputingIntelligenceandSensornetwork
36
2
李晶晶、叶小平
√
√
时态与移动对象数据库
Temporalandmovingobjectsdatabases
36
2
叶小平、汤娜
√
√
社会计算SocialComputing
36
2
沈映珊
√
√
网络数据挖掘WebDataMining
36
2
谭琦、葛红
√
√
文献综述
1
√
√
√
√
√
√
学术报告
1
√
√
√
√
√
√
科研实践能力训练
2
√
√
√
√
√
学位论文
√
√
√
*“各学期教学安排”、“考查”和“考试”栏目里用“√”来表示。
软件工程专业学术型研究生必读文献主要书目和期刊目录
序号
文献名称
作者或出版社
文献类别
1
ACMTransactionsonProgrammingLanguages&Systems
ACM
期刊
2
ACMTransactionsonSoftwareEngineeringMethodology
ACM
期刊
3
IEEETransactionsonSoftwareEngineering
IEEE
期刊
4
JournaloftheACM
ACM
期刊
5
ACMTransactionsonDatabaseSystems
ACM
期刊
6
ACMTransactionsonInformation
Systems
ACM
期刊
7
IEEETransactionsonKnowledgeand
DataEngineering
IEEE
期刊
8
AutomatedSoftwareEngineering
Springer
期刊
9
EmpiricalSoftwareEngineering
Springer
期刊
10
IEEETransactionsonServiceComputing
IEEE
期刊
11
InformationandSoftwareTechnology
Elsevie
期刊
12
JournalofSoftware:
EvolutionandProcess
Wiley
期刊
13
JournalofSystemsandSoftware
Elsevier
期刊
14
RequirementsEngineering
Springer
期刊
15
ScienceofComputerProgramming
Elsevier
期刊
16
SoftwareandSystemModeling
Springer
期刊
17
Software:
PracticeandExperience
Wiley
期刊
18
SoftwareTesting,VerificationandReliability
Wiley
期刊
19
ComputerLanguages,SystemsandStructures
Elsevier
期刊
20
InternationalJournalonSoftwareEngineeringandKnowledgeEngineering
WorldScientific
期刊
21
JournalofLogicandAlgebraicProgramming
Elsevier
期刊
22
SoftwareQualityJournal
Springer
期刊
23
TheoryandPracticeofLogicProgramming
CambridgeUniversityPress
期刊
24
DataandKnowledgeEngineering
Elsevier
期刊
25
KnowledgeandInformationSystems
Springer
期刊
26
ACMTransactionsonComputer-HumanInteraction
ACM
期刊
27
IEEETransactionsonIntelligent
TransportationSystems
IEEE
期刊
28
AdvancedEngineeringInformatics
Elsevier
期刊
29
JournalofFunctionalProgramming
CambridgeUniversityPress
期刊
30
IETSoftware
IET
期刊
31
InformationSystems
Elsevier
期刊
32
ACMTransactionsonMathematicalSoftware
ACM
期刊
33
ArtificialIntelligence
Elsevier
期刊
34
InternationalJournalonSoftwareToolsforTechnologyTransfe
Springer
期刊
35
ServiceOrientedComputingandApplications
Springer
期刊
计算理论导论课程简明教学大纲
课程名称
计算理论导论IntroductiontotheTheoryofComputation
课程编号
2202a0001
课程负责人
蒋运承
教学成员
蒋运承
学时
54
学分
3
课程类别
学科基础课
授课方式
讲授+专题讨论
教学目的及要求
该课程主要面向计算机科学与技术、软件工程等专业的研究生开课，要求选课同学具有一定的数学基础（学习了高等数学、离散数学、线性代数等）以及基本的计算机编程基础（学习了C语言、C++语言或者Java语言等）。
该课程主要向学生讲授计算理论的主要内容，使学生掌握形式语言与自动机、可计算理论以及复杂性理论领域的重要问题和结果。
加强学生的理论计算机基础，同时帮助学生了解理论计算机学科算法方向的知识。
教学方式以课堂讲授为主，辅以专题讨论。
课程内容
课程内容主要包括三部分：
形式语言与自动机、可计算理论以及复杂性理论。
主要以国际上计算理论最权威的教材之一（MichaelSipser,IntroductiontotheTheoryofComputation,ThirdEdition,WadsworthPublishingCoInc,2012）为授课教材。
具体授课内容如下：
1.RegularLanguages（正则语言）
2.Context-FreeLanguages（上下文无关语言）
3.TheChurch-TuringThesis（邱奇-图灵论题）
4.Decidability（可判定性）
5.Reducibility（可归约性）
6.TimeComplexity（时间复杂性）
7.SpaceComplexity（空间复杂性）
8.Intractability（难解性）
考核方式
期末考试70%+平时成绩30%
参考书目
MichaelSipser,IntroductiontotheTheoryofComputation,ThirdEdition,WadsworthPublishingCoInc,2012.
HarryLewis,ChristosH.Papadimitriou,ElementsoftheTheoryofComputation,SecondEdition,Prentice-Hall,1998.
高级数据库技术课程简明教学大纲
课程名称
高级数据库技术AdvancedDatabaseTechnology
课程编号
2202a0002
课程负责人
汤庸
教学成员
叶小平、陈洁敏
学时
54
学分
3
课程类别
学科基础课
授课方式
讲授+讨论
教学目的及要求
数据库技术是不断发展的学科，所涵盖的范围很大，无法在一门课程中面面俱到。
本书作为高级数据库技术教材，主要考虑数据库学科内涵、技术外延以及应用特征，从数据模型、智能数据处理技术、网络环境数据库技术及应用实践等方面组织材料。
基本目标是希望通过本课程教学，使学生掌握数据库技术核心概念，了解数据库技术研究与应用需要的主要知识点，跟踪数据库新技术发展方向，为进一步从事数据库技术的研究或应用提供理论基础和技术思路。
课程内容
高级数据库技术概述。
简要回顾数据库发展阶段，讨论数据库技术的内涵与外延，介绍数据库技术的学术资源，分析数据库研究热点。
关系数据基本理论。
学习过课程《数据库系统》的本科生可以用来温习数据库基础理论，没有学过数据库课程的研究生可以用来补习数据库基础理论知识。
高级数据模型。
高级数据模型是相对关系数据模型而言的，该章包括面向对象数据库、对象关系数据库、介绍时态数据库、空间数据库技术等重要数据模型，为进一步研究新数据模型提供基础和思路。
智能数据处理技术。
知识是数据的特殊形式，智能数据处理是数据库技术应用的主要特征。
该章主要包括知识表达和知识库系统基本概念，介绍主动数据库、决策支持系统等知识数据的处理，为进一步数据库中知识数据的应用提供基础和方法。
网络环境数据管理。
内容包括：
分布式数据库技术、web数据库技术、XML数据库、移动数据库技术等，同时介绍当前数据库新技术热点应用，包括云计算、大数据、社会计算等，为了解网络环境数据库技术的应用提供基本概念和技术思路。
从三个角度选取实例，进行高级数据库技术实践。
第一节是以时态数据库管理系统实现为例，进行高级数据模式扩展的学习实践；第二节以时态工资知识数据库为例，进行面向对象、时态数据库、知识库等多种数据库技术综合应用的示范；第三节以面向学者的社交网络设计为例，介绍数据库新技术的应用实践，主要涉及信息检索、信息推荐与服务、云数据管理等数据库技术热点。
考核方式
论文报告
参考书目
●汤庸等，高级数据库技术，高等教育出版社，2010
●SIGMOD,http:
//www.sigmod.org
●VLDB,http:
//www.vldb.org
●ACMTransactionsonDatabaseSystems,http:
//www.acm.org/tods/
●ACMTransactionsonInformationandSystems,http:
//www.acm.org/pubs/tois/
IEEETransactionsonKnowledgeandDataEngineering,puter.org/tkde/
高级软件工程课程简明教学大纲
课程名称
高级软件工程AdvancedSoftwareEngineering
课程编号
2202b0004
课程负责人
肖菁
教学成员
肖菁
学时
54
学分
3
课程类别
专业必修课
授课方式
讲授+讨论
教学目的及要求
软件工程是计算机专业本科和研究生教学的重要专业课之一。
通过研究生阶段的《高级软件工程》这一课程的学习，要求学生在精通软件工程基本概念的基础上，掌握软件工程的一些高级课题。
主要教学内容包括软件过程、软件工程实践、应用WEB工程、管理软件项目及软件工程高级课题五个部分。
通过这门课的学习，使得学生掌握软件系统开发的基本方法，并能够按照工程学的方法，组织实施软件开发项目，从技术上和管理上采取多种方法、措施和机制，以保证项目达到的软件功能、付出合理的开发成本、具有较好的软件性能、保证开放的扩充接口、支持简单的维护操作和一定的安全机制。
课程内容
第一部分：
软件过程，介绍惯例模型和敏捷过程模型。
（4学时）
第一章软件工程介绍
第二章过程综述
第三章过程模型
第四章敏捷视角下的过程
第二部分：
软件工程实践，介绍现代分析、设计和测试方法，重点是基于UML的建模。
（20学时）
第五章软件工程实践综述
第六章系统工程
第七章需求工程
第八章构件分析模型
第九章设计工程
第一十章进行体系结构设计
第一十一章构件级设计建模
第一十二章完成用户界面设计
第一十三章
升级会员 