计算机科学与技术硕士研究生培养方案

《计算机科学与技术硕士研究生培养方案》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、内蒙古大学研究生培养方案一级学科名称（代码）软件工程（0835）博士/硕士学位点名称（代码）软件工程（0835）院（系、所）名称计算机学院研究生处制表填表日期：2011年11月13日软件工程硕士研究生培养方案（学科专业代码：0835）一．培养目标面向国家和地区经济社会发展的需要、面向企事业单位对软件工程技术人才的需求，培养软件工程研究、技术开发和管理人才。具体培养目标是：1．学位获得者需拥护党的基本路线、方针和政策；热爱祖国，遵纪守法，具有良好的职业道德和创业精神，积极为我国经济建设和社会发展服务。2．学位获得者应掌握软件工程领域扎实的理论基础和宽广

2、的专业知识；具有计算思维能力，包括模型化、形式化的逻辑思维与抽象能力；具有工程实践能力，具备运用先进的工程化方法、技术和工具从事软件分析、设计、开发、维护等工作的能力，以及工程项目的组织与管理能力、团队协作能力、技术创新能力和市场开拓能力。3.具有算法设计与分析能力，包括掌握重要的算法设计策略、并行算法设计策略、分布式算法设计策略，以及对算法的计算复杂度进行分析；4.具有项目实施能力，包括对项目进行规划、设计和实施，进行组织、协调和管理的能力；5．学制一般为3年。二．研究方向1.研究方向之一：软件建模与形式化方法本学科方向基于Petri网、UML等形

3、式化工具和语言，利用相关的数学理论和模型，对网构软件系统进行建模，进而研究软件模型性质并进行优化等。研究内容包括：网构软件系统建模，研究模型描述和验证问题；UML、Petri网等建模工具和语言，包括扩展和模型转换技术；信息管理系统建模和优化。2.研究方向之二：软件测试本学科方向的研究基于形式化方法对软件进行测试设计和测试实施。具体研究内容包括：（1）基于互联网平台等分布式计算环境的网构软件的服务需求，进行服务驱动的测试方法设计与实现研究;（2）基于形式化模型研究操作系统（蒙古文）、网络新协议、编译器等核心基础软件的一致性、互操作性、标准符合性、性能测

4、试及健壮性测试方法及测试策略;（3）基于形式化方法进行多层次可信、可靠软件的动态形式验证方法和错误定位方法。本学科方向的特色与优势在于：（1）基于形式化模型进行测试设计，可以系统化多层面的保证软件的质量，利用TTCN3国际测试标准语言设计开发测试套；（2）二十余年坚持在该领域，并依据目前的热点问题进行了研究方法的创新，进行有针对性的测试目的设计，可以完全深入的研究核心问题的本质并对该问题进行较全面的测试，并在国内通信、银行、农牧业等行业和蒙古文软件方面得到了应用；（3）经过多年的工作积累，拥有架构合理的人才队伍和丰富的测试经验。3.研究方向之三：智能

5、软件开发技术本学科方向基于信息系统的分析和设计，研究信息检索、软件开发与管理等方面的方法和技术，并应用于多行业的信息管理系统软件的开发。具体研究内容包括：（1）软件开发与管理：以信息管理系统开发为背景，研究软件工程的开发方法、技术和管理模型等；（2）信息检索与数据挖掘：以信息管理系统为背景，研究个性化的信息检索；（3）并行计算：依托高性能机群及GPU平台研究大规模计算应用软件技术。本学科方向的特色与优势在于：（1）面向信息管理系统的软件工程开发方法和技术；（2）带头人和骨干大多具有国外留学背景，学术视野宽阔，在国际和国内重要期刊及会议上发表了系列研究

6、论文，被SCI、EI、ISTP等收录的论文20多篇。承担了国家自然科学基金、春晖计划科研项目5项，省部级科研项目10余项，横向项目10余项。获省部级科技奖励二等奖5项、三等奖2项；（3）与自治区的经济建设和各行业应用紧密结合，先后为内蒙古通达公司、呼和浩特炼油厂、内蒙古电管局、巴盟电管局、三联化工厂、内蒙古福利彩票中心、内蒙古公安局、内蒙古教育厅等单位研发了信息管理系统、决策支持系统、监测控制系统和办公系统。三、本专业研究生各类课程的门数及学分的基本要求总学分：最低41学分(含教学实习2学分，含前沿讲座及文献选读1学分)公共学位课须修2门：10分专业

7、学位课须修4门：18分专业选修课（含一门跨学科专业课）须修5门：10分前沿讲座及文献选读（含讨论班）须参加6次：1分教学实习或社会实践2分四、课程设置类别课程名称周学时总学时学分开课学期适用研究方向任课教师（职称）公共学位课马克思主义理论4/7241-2公共管理学院第一外国语6/10861-2外国语学院专业外语2/3223何立强教授专业学位课应用数学基础4/6441刘铁英教授算法设计与分析4/6441王俊义教授形式语言与自动机4/6442王显荣副教授高级软件工程4/6442周建涛教授专业选修课︵含跨一级学科课程︶决策支持系统2/3223郭仁拥副教授数

8、据挖掘2/3222高光来教授形式化建模技术2/3223周建涛教授软件测试技术2/3222李华教授管理信息系统