081202计算机软件与理论专业

　　1、《基于网络的计算机软件应用技术》研究在网络环境中计算机软件的各种应用技术，包括网络安全、电子商务、信息管理系统、网络远程管理、网络协议验证、图形图像处理、网络应用软件、数据仓库、知识库系统等。

　　2、《软件工程的理论与方法》研究软件开发过程的基础理论、技术、方法和工具，包括需求分析技术与形式化方法、软件建模、模型检验、面向服务的体系结构、模型驱动的体系结构、逆向工程和再工程、项目管理、软件开发工具与环境等。

　　3、《软件分析与测试》研究软件分析与测试的最新理论、技术、方法和工具，包括静态与动态软件分析、软件演化、软件测试、软件缺陷分析与修复、软件度量技术、软件分析与测试工具与环境等。

　　4、《分布计算与互联网技术》研究分布计算与互联网环境中计算机软件理论与方法，包括面向云计算、对等计算、普适计算等分布计算系统的软件体系结构与构建技术，面向互联网的软件开发模型、软件体系结构以及电信软件系统的设计、实现、测试和重用技术等。

　　5、《可信软件技术》研究可信软件理论与方法，包括高可信软件平台及其体系结构与机理，软件可信性的度量与保障技术，可信软件模型与形式化方法，面向电信业务和移动通信的各种可信软件设计和开发技术。