内蒙古大学.doc

内蒙古大学.doc内蒙古大学
研究生培养方案
一级学科名称(代码) 软件工程(0835)
博士/硕士学位点名称(代码) 软件工程(0835)
院(系、所) 名称计算机学院
研究生处制表
填表日期: 2011年11月13日
软件工程硕士研究生培养方案
(学科专业代码:0835)
培养目标
面向国家和地区经济社会发展的需要、面向企事业单位对软件工程技术人才的需求,培养软件工程研究、技术开发和管理人才。具体培养目标是:
、方针和政策;热爱祖国,遵纪守法,具有良好的职业道德和创业精神,积极为我国经济建设和社会发展服务。
;具有计算思维能力,包括模型化、形式化的逻辑思维与抽象能力;具有工程实践能力,具备运用先进的工程化方法、技术和工具从事软件分析、设计、开发、维护等工作的能力,以及工程项目的组织与管理能力、团队协作能力、技术创新能力和市场开拓能力。
3. 具有算法设计与分析能力,包括掌握重要的算法设计策略、并行算法设计策略、分布式算法设计策略,以及对算法的计算复杂度进行分析;
4. 具有项目实施能力,包括对项目进行规划、设计和实施,进行组织、协调和管理的能力;
。
研究方向
1. 研究方向之一:软件建模与形式化方法
本学科方向基于Petri网、UML等形式化工具和语言,利用相关的数学理论和模型,对网构软件系统进行建模,进而研究软件模型性质并进行优化等。研究内容包括:网构软件系统建模,研究模型描述和验证问题;UML、Petri网等建模工具和语言,包括扩展和模型转换技术;信息管理系统建模和优化。
2. 研究方向之二:软件测试
本学科方向的研究基于形式化方法对软件进行测试设计和测试实施。具体研究内容包括:(1)基于互联网平台等分布式计算环境的网构软件的服务需求,进行服务驱动的测试方法设计与实现研究;(2)基于形式化模型研究操作系统(蒙古文)、网络新协议、编译器等核心基础软件的一致性、互操作性、标准符合性、性能测试及健壮性测试方法及测试策略;(3)基于形式化方法进行多层次可信、可靠软件的动态形式验证方法和错误定位方法。
本学科方向的特色与优势在于:(1)基于形式化模型进行测试设计,可以系统化多层面的保证软件的质量,3国际测试标准语言设计开发测试套;(2)二十余年坚持在该领域,并依据目前的热点问题进行了研究方法的创新,进行有针对性的测试目的设计,可以完全深入的研究核心问题的本质并对该问题进行较全面的测试,并在国内通信、银行、农牧业等行业和蒙古文软件方面得到了应用;(3)经过多年的工作积累,拥有架构合理的人才队伍和丰富的测试经验。
3. 研究方向之三:智能软件开发技术
本学科方向基于信息系统的分析和设计,研究信息检索、软件开发与管理等方面的方法和技术,并应用于多行业的信息管理系统软件的开发。具体研究内容包括:(1)软件开发与管理:以信息管理系统开发为背景,研究软件工程的开发方法、技术和管理模型等;(2)信息检索与数据挖掘:以信息管理系统为背景,研究个性化的信息检索;(3)并行计算:依托高性能机群及GPU平台研究大规模计算应用软件技术。
本学科方向的特色与优势在于:(1)面向信息管理系统的软件工程开发方法和技术;(2)带