1998-2022 lantab.com Network Studio. All Rights Reserved. 沪ICP备12018245号
081202计算机软件与理论专业
1、《基于网络的计算机软件应用技术》研究在网络环境中计算机软件的各种应用技术,包括网络安全、电子商务、信息管理系统、网络远程管理、网络协议验证、图形图像处理、网络应用软件、数据仓库、知识库系统等。
2、《软件工程的理论与方法》研究软件开发过程的基础理论、技术、方法和工具,包括需求分析技术与形式化方法、软件建模、模型检验、面向服务的体系结构、模型驱动的体系结构、逆向工程和再工程、项目管理、软件开发工具与环境等。
3、《软件分析与测试》研究软件分析与测试的最新理论、技术、方法和工具,包括静态与动态软件分析、软件演化、软件测试、软件缺陷分析与修复、软件度量技术、软件分析与测试工具与环境等。
4、《分布计算与互联网技术》研究分布计算与互联网环境中计算机软件理论与方法,包括面向云计算、对等计算、普适计算等分布计算系统的软件体系结构与构建技术,面向互联网的软件开发模型、软件体系结构以及电信软件系统的设计、实现、测试和重用技术等。
5、《可信软件技术》研究可信软件理论与方法,包括高可信软件平台及其体系结构与机理,软件可信性的度量与保障技术,可信软件模型与形式化方法,面向电信业务和移动通信的各种可信软件设计和开发技术。
来源未注明“中国半岛真人体育 ”的资讯、文章等均为转载,本网站转载出于传递更多信息之目的,并不意味着赞同其观点或证实其内容的真实性,如涉及版权问题,请联系本站管理员予以更改或删除。如其他媒体、网站或个人从本网站下载使用,必须保留本网站注明的"稿件来源",并自负版权等法律责任。
来源注明“中国半岛真人体育 ”的文章,若需转载请联系管理员获得相应许可。
联系方式:chinakaoyankefu@163.com
扫码关注
了解考研最新消息