院（系）名称

计算机学院

研 究 方 向

学科专业

一级学科：软件工程

01. 软件工程理论与方法

05. 云计算与大数据处理

02. 协同软件与信息服务

06. 空间信息处理技术

03. 软件系统设计与项目管理

07. 下一代网络技术

04. 软件需求工程

08. 嵌入式系统与软件

学 分 制

2—4年

培养目标：
1、掌握马克思主义基本理论，坚持四项基本原则，热爱祖国，遵纪守法，有高尚的道德情操。
2．系统掌握软件工程学科的基础理论和应用基础理论，具备坚实、系统的专业知识，具有从事科学研究工作或独立担负专门技术工作的能力。
3．至少掌握一门外语，能熟练地阅读本专业的外文文献。

培养的主要内容（方式、方法和要求）：
1、学分要求：32-36学分。
2、学位课（共6门）、“文献综述、读书/学术报告”和“实践教学和科研训练”是必修内容，所有课程（包括学位课和选修课）学习应在入学后一学年半内完成。计算机科学与技术一级学科学位课《面向计算机科学的数理逻辑》、《人工智能原理》可作为本学科的选修课。
3、实行导师负责制，在新生入学一个月内由研究生和导师共同制订个人培养计划。

计算机学院

学科专业

软件工程（一级学科）

序号

课程名称

学
时

学
分

拟主讲教师

各学期教学时数

考查

考试

一

二

三

四

五

六

1

学

位

课

外国语 Foreign Language

120

4

公共课教师

√

√

2

政治理论 Political Theory

74

3

公共课教师

√

√

3

高级软件工程 Advanced Software Engineering

60

3

学院统一安排

√

√

4

高级数据库技术 Advanced Database Technology

60

3

学院统一安排

√

√

5

现代网络技术 Advanced Network Technology

60

3

学院统一安排

√

√

6

软件形式化方法 Software Formal Methods

60

3

学院统一安排

√

√

1

选

修

课

选

修

课

选

修

课

数字信号与图像处理的数学基础
Mathematical Basis for Digital Signal and Image Processing

40

2

李兴民

√

√

2

软件工程方法学 Software Engineering Methodology

40

2

王涛

√

√

3

协同计算与社会网络服务
Collaborative Computing and Social Network Services

40

2

汤庸

√

√

4

面向对象技术与UML Object-oriented Technology and UML

40

2

肖菁

√

√

5

云计算 Cloud Computing

40

2

赵淦森

√

√

6

Web服务和SOA Web Services and SOA

40

2

范冰冰

√

√

7

空间信息导论 Introduction to Spatial information

40

2

李岩

√

√

8

遥感图像处理 Remote Sensing Image Processing

40

2

李慧、李岩

√

√

9

形式语言与自动机 Formal Languages and Automata

40

2

蒋运承

√

√

10

本体理论与本体工程 Ontology Theory and Ontology Engineering

40

2

刘海、蒋运承

√

√

11

物联网技术导论 Introduction to Internet of Things

40

2

单志龙

√

√

12

信息检索技术 Introduction to Information Retrieval

40

2

李建国、肖菁

√

√

13

分布计算系统 Distributed Computing System

40

2

刘波

√

√

14

现代密码学 Modern Cryptography

40

2

马昌社

√

√

15

XML 数据库 XML database

40

2

汤娜

√

√

16

移动与时态数据管理 Moving and Temporal Data Management

40

2

叶小平

√

√

17

事务处理与数据库安全 Transaction Processing and Database Security

40

2

陈启买

√

√

18

数据仓库及应用 Data warehouse and its Applications

40

2

王桂娟、陈启买

√

√

19

模型检测 Model Checking

40

2

杨晋吉

√

√

20

嵌入式Linux内核分析 Analysis of Embedded Linux Kernel

40

2

冯刚

√

√

21

人工神经网络 Artificial Neural Network

40

2

葛红

√

√

22

嵌入式微处理器系统 Embedded Microprocessor System

40

2

金京林

√

√

23

面向计算机科学的高等数学
Advanced Mathematics in Computer Science

40

2

王立斌

√

√

24

信息系统安全 Security of Information Systems

40

2

龚征、王立斌

√

√

25

智能决策系统 Intelligence Decision Supporting System

40

2

陈红英

√

√

26

机器学习 Machine Learning

40

2

陈振洲、陈红英

√

√

27

算法与计算复杂性理论
Algorithms and Computational Complexity Theory

40

2

陈卫东

√

√

28

最优化方法 Optimization Method

40

2

曹惉懋、陈卫东

√

√

29

软件项目管理与软件质量保障
Software Project Management and Software Quality Assurance

40

2

庞雄文

√

√

30

概率与计算 Probability and Computing

40

2

曹阳

√

√

31

智能移动定位服务技术 Intelligent Location-Based Services

40

2

王兴芳、曹阳

√

√

32

计算机仿真建模与分析 Computer Simulation Modeling and analysis

40

2

张奇支

√

√

33

嵌入式系统开发入门 Introduction to Embedded System Development

40

2

詹泳

√

√

34

数据挖掘与商务智能 Data Mining and Business Intelligence

40

2

黄晋

√

√

35

数据、信息与可视化 Data，Information & Visualization

40

2

张金区

√

√

36

程序化交易 Program Trading

40

2

徐清振

√

√

37

服务计算技术及应用
Service Computing Technology and its Applications

40

2

黄昌勤

√

√

38

计算智能与传感器网络 Computing Intelligence and Sensor network

40

2

李晶晶、叶小平

√

√

39

高级计算机算法 Advanced Computer Algorithms

40

2

曾碧卿

√

√

40

网格计算 Grid Computing

40

2

聂瑞华

√

√

41

统计过程控制 Statistical Process Control

40

2

肖应旺

√

√

42

知识工程与知识管理
Knowledge Engineering and Knowledge Management

40

2

冼广铭

√

√

文献综述、读书/学术报告

2

学院和导师安排

√

√

√

√

√

√

实践教学和科研训练

2

导师

√

√

√

√

√

学位论文

导师

√

√

√