內蒙古大學研究生培養方案一級學科名稱（代碼）軟件工程（0835）博士/碩士學位點名稱（代碼）軟件工程（0835）院（系、所）名稱計算機學院研究生處制表填表日期：2011填表日期：2011年11月13日軟件工程碩士研究生培養方案（學科專業代碼：08）35一．培養目標面向國家和地區經濟社會發展的需要、面向企事業單位對軟件工程技術人才的需求，培養軟件工程研究、技術開發和管理人才。具體培養目標是：1．學位獲得者需擁護黨的基本路線、方針和政策；熱愛祖國，遵紀守法，具有良好的職業道德和創業精神，積極為我國經濟建設和社會發展服務。2．學位獲得者應掌握軟件工程領域扎實的理論基礎和寬廣的專業知識；具有計算思維能力，包括模型化、形式化的邏輯思維與抽象能力；具有工程實踐能力，具備運用先進的工程化方法、技術和工具從事軟件分析、設計、開發、維護等工作的能力，以及工程項目的組織與管理能力、團隊協作能力、技術創新能力和市場開拓能力。.具有算法設計與分析能力，包括掌握重要的算法設計策略、并行算法設計策略、分布式算法設計策略，以及對算法的計算復雜度進行分析；.具有項目實施能力，包括對項目進行規劃、設計和實施，進行組織、協調和管理的能力；5．學制一般為3年。二．研究方向.研究方向之一：軟件建模與形式化方法本學科方向基于 網、等形式化工具和語言，利用相關的數學理論和模型,對網構軟件系統進行建模，進而研究軟件模型性質并進行優化等。研究內容包括：網構軟件系統建模，研究模型描述和驗證問題；、 網等建模工具和語言，包括擴展和模型轉換技術；信息管理系統建模和優化。研2.究方向之二：軟件測試本學科方向的研究基于形式化方法對軟件進行測試設計和測試實施。具體研究內容包括：（1）基于互聯網平臺等分布式計算環境的網構軟件的服務需求，進行服務驅動的測試方法設計與實現研究;（2）基于形式化模型研究操作系統（蒙古文）、網絡新協議、編譯器等核心基礎軟件的一致性、互操作性、標準符合性、性能測試及健壯性測試方法及測試策略;（3）基于形式化方法進行多層次可信、可靠軟件的動態形式驗證方法和錯誤定位方法。本學科方向的特色與優勢在于：（1）基于形式化模型進行測試設計，可以系統化多層面的保證軟件的質量，利用 國際測試標準語言設計開發測試套；（）二十余年堅持在該領域，并依據目前的熱點問題進行了研究方法的創新，進行有針對性的測試目的設計，可以完全深入的研究核心問題的本質并對該問題進行較全面的測試，并在國內通信、銀行、農牧業等行業和蒙古文軟件方面得到了應用；（3）經過多年的工作積累，擁有架構合理的人才隊伍和豐富的測試經驗。3研.究方向之三：智能軟件開發技術本學科方向基于信息系統的分析和設計，研究信息檢索、軟件開發與管理等方面的方法和技術，并應用于多行業的信息管理系統軟件的開發。具體研究內容包括：（1）軟件開發與管理：以信息管理系統開發為背景，研究軟件工程的開發方法、技術和管理模型等；（2）信息檢索與數據挖掘：以信息管理系統為背景，研究個性化的信息檢索；（3）并行計算：依托高性能機群及平臺研究大規模計算應用軟件技術。本學科方向的特色與優勢在于：（1）面向信息管理系統的軟件工程開發方法和技術；（2）帶頭人和骨干大多具有國外留學背景，學術視野寬闊，在國際和國內重要期刊及會議上發表了系列研究論文，被CI等收錄的論文多篇。承擔了國家自然科學基金、春暉計劃科研項目5項，省部級科研項目10余項，橫向項目10余項。獲省部級科技獎勵二等獎5項、三等獎2項；（3）與自治區的經濟建設和各行業應用緊密結合，先后為內蒙古通達公司、呼和浩特煉油廠、內蒙古電管局、巴盟電管局、三聯化工廠、內蒙古福利彩票中心、內蒙古公安局、內蒙古教育廳等單位研發了信息管理系統、決策支持系統、監測控制系統和辦公系統。三、本專業研究生各類課程的門數及學分的基本要求總學分：最低41學分（含教學實習2學分，含前沿講座及文獻選讀1學分公共學位課須修——門：― 分專業學位課須修——門：― 分專業選修課（含一門跨學科專業課）須修—_5：— 分前沿講座及文獻選讀（含討論班）須參加—一次：— 分教學實習或社會實踐 分

四、課程設置類別課程名稱周學^//總學時學分開課學期適用研究方向任課教師（職稱）公共學位課馬克思主義理論公共管理學院第一外國語外國語學院專業外語何立強教授專業學位課應用數學基礎劉鐵英教授算法設計與分析王俊義教授形式語言與自動機王顯榮副教授高級軟件工程周建濤教授專業選修課^^含跨 -級學科課程一決策支持系統郭仁擁副教授數據挖掘高光來教授形式化建模技術周建濤教授軟件測試技術李華教授管理信息系統設計與開發張獻國副教授并行計算何立強教授技術與中間件侯宏旭教授信息安全張俊星教授五、前沿講座（含討論班）的基本要求1講.座或討論班的基本范圍或基本形式主要研討本學科或相關學科的重大學術課題、前沿技術和可供深度探討的熱點課題，使碩士生對本專業的學術動態或未來發展趨勢有清晰的了解。碩士生以參加學術報告會、座談會和專題討論為主。2．次數、考核方式及基本要求以聽專家講座為主，學生討論為輔。要求學生參加講座次數不少于10次。導師小組根據學生在前沿講座中的表現和掌握程度進行綜合評定?？己税磧?、良、中、及格和不及格五級計分。成績及格及以上者將獲得相應學分，成績不及格者將不能獲得相應學分。六、學位論文的基本標準碩士生采取課程學習與論文并重的原則，用于學位論文研究時間不得少于1年，即從開題報告到論文答辯之間的時間不得少于1年。制定培養計劃第一學期內在導師或導師組的指導下制定“碩士生個人培養計劃”一式兩份，一份由研究生自己保存，一份報學院備案。開題報告開題報告是學位論文研究的一個重要環節。碩士生學位論文開題時間放在第三學期（1月份）或第四學期初（4月份），可與中期考核同時進行。學院根據研究生選題情況，按研究方向成立若干開題報告審查小組。審查小組由具有研究生培養經驗、副高以上職稱的專家3-人5組成，對論文選題的可行性進行論證，分析難點，明確方向，以保證學位論文按時完成并達到預期結果。中期考核根據本院研究生規模和學科點現狀，按照學校研究生中期考核實施辦法提出本院研究生中期考核工作的具體時間和辦法，中期考核安排在第四學期（4月份）進行。A考核在學院統一組織領導下，由各專業負責實施，組成包括學院（學科）負責人、導師代表等在內的若干考核小組（每組成員3-人5）進行考核，同時較廣泛地聽取其他教師的意見。可與開題報告同時進行。B業務方面主要考核研究生課程學習是否達到規定要求，通過課程學習、開題報告等環節反映出來的科研及思維能力；政治、思想、品德方面的考核由院學生工作組會同有關人員進行。c填寫“內蒙古大學研究生中期考核表”，對被考核研究生做出結論性意見。D經過中期考核的碩士研究生，按考核成績分流：進入碩士論文階段：學習成績良好，具有一定研究工作能力（以論文為主要參照），可進入碩士論文階段，繼續完成碩士學業。中止學業：個別成績較差，明顯表現出缺乏科研能力，或因其他原因不宜繼續攻讀學位者，要求限期改正，限期末改正者中止其學業，按學籍管理的有關規定，發給相應證書。論文寫作研究生在第五學期（10月份）確定寫作提綱，在第六學期的三月底，提交論文，學院送審（含盲審）。根據評審意見修改完善，并在五月份完成論文答辯。對提交的論文有如下要求：內容要求：選題有學術和社會意義；能反映出作者掌握了堅實的基礎理論和系統的專門知識；了解與論文相關的前沿研究動態；研究主題明確、問題集中、論證嚴密可靠、有明顯的專業特色、有新見解。技術規范要求：自己的研究結果與他人的觀點、材料、數據等不相混淆，引用他人的觀點、材料、數據等注明來源；獨立完成論文，在準備和撰寫過程中接受導師指導、采納專家建議、獲得他人幫助等應實事求是地表示感謝，但不能把未對論文提供幫助的名人等列入致謝之列；涉及到的背景知識、引用的資料和數據準確無誤，所用概念、術語、符號、公式等符合學術規范，沒有嚴重錯誤或使用嚴重錯譯的譯文；對問題的論述完整、系統、邏輯嚴密，關鍵詞得當；語言精練，語句符合現代漢語規范，錯別字、標點符號錯誤、外文拼寫錯誤、筆誤和校對錯誤等總計不超過論文的千