研招网 > 河南研招网 > 河南科技大学 > 院校资讯

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

 

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

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

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭