软件工程:本方向研究现代软件工程理论,包括软件需求工程、软件体系结构、设计模式、软件测试、软件质量保障、可信与安全计算、软件形式化方法等。现代数据库理论与技术:本方向研究现代数据库理论与技术、信息系统的集成与信息处理。具体内容有现代数据库理论、数据库系统实现及事务处理、数据仓库与数据挖掘、移动数据库、空间数据库、数据流管理、Web数据库与XML、数据库安全。分布式信息系统:本方向研究分布式信息系统体系结构模型,以及在分布式网络环境下应用数据库技术、人工智能技术、软件工程技术、分布式技术、CSCW技术、空间信息技术解决分布式网络信息工程中的关键软件技术问题。
01 网络与并发实时系统的设计与分析
02 软件测试与分析
03 数据挖掘及语义Web
04 软件设计方法和形式规约
05 程序理论与验证技术
06 面向网络的计算理论及应用
07 模型检测、形式验证
08 并行算法与并行软件
09 数值并行计算
10 可信计算与基础软件
11 中文信息处理与信息检索
12 软件过程方法与技术
13 网络分布计算与软件工程
①101思想政治理论②201英语一③301数学一④408计算机学科专业基础综合