河南科技大学计算机软件与理论学科介绍

　　本学科主要研究软件开发、维护以及使用过程中涉及的理论、方法和技术，以及计算机科学与技术学科发展的基础理论。主要包括软件体系结构与软件复用、面向对象方法与技术、分布式系统与网格计算、程序验证与形式化

作者

佚名

次阅读

2006-08-14

　　本学科主要研究软件开发、维护以及使用过程中涉及的理论、方法和技术，以及计算机科学与技术学科发展的基础理论。主要包括软件体系结构与软件复用、面向对象方法与技术、分布式系统与网格计算、程序验证与形式化方法等研究方向。近年的研究主要体现在模型驱动的软件开发、软件自动化、分布式系统构架及主要实现技术。在基于本体的网格服务描述和服务发现、实时调度算法、分布式中间件、基于DNA序列切片重组技术的信息加密算法等研究领域取得了一定成果。并将有关成果成功应用于多项软件项目的开发。针对中小型企业需求，正在研发一种基于组件通用系统框架。

　　本学科拥有软件工程实验室和分布式系统网络试验平台。现有导师12人，其中教授3人，副教授9人。近年获省级以上各类科技成果奖6项，发表论文60余篇，在研课题10余项。

河南科技大学相关信息：

返回河南科技大学

2021考研论坛：更多

2021考研论坛

考研帮最新资讯更多