专业介绍#南京邮电大学专业分析#计算机软件与理论

类目：考研信息»院校信息»专业介绍»南京邮电大学专..

来源：三人行考试网2016-07-08相关院校：南京邮电大学

081202计算机软件与理论专业

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

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

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

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

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