• 2025考研復試伴學班
• 2025考研復試標準班
• 2026考研英語全程班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 江蘇大學2025考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

計算機軟件與理論碩士點學科簡介

計算機軟件與理論碩士點學科現有教授5人、副教授3人，主要圍繞分布式計算系統(tǒng)、軟件系統(tǒng)構架、軟件測試與質量評估、軟件形式化方法等方向從事理論與技術的研究開發(fā)工作，已完成國家“863”計劃、國家自然科學基金等國家級項目4項，省部級科技支撐計劃和自然科學基金課題6項。取得了一批有特色和創(chuàng)新的研究成果，所完成的項目1個獲得部級科技進步二等獎、2個項目獲省級科技進步三等獎和多個市廳級科技進步獎，相關理論與技術所開發(fā)的系統(tǒng)得到了成功實施和推廣應用，取得了較好的經濟效益和社會效益。

研究生指導老師：詹永照、鞠時光、宋順林、楊鶴標、晏立、劉一松、陳偉鶴、周從華

研究方向簡介：
分布式計算系統(tǒng)：主要研究分布式環(huán)境中協同計算理論與技術，研究企業(yè)信息集成及業(yè)務協作服務支持平臺，研究分布式計算系統(tǒng)的安全訪問控制方法，研究無線自組織網絡拓撲控制、路由協議和系統(tǒng)安全。該方向目前正承擔著多項國家自然科學基金、江蘇省科技支撐計劃、鎮(zhèn)江市科技支撐計劃和企事業(yè)橫向合作課題。

軟件系統(tǒng)構架：主要研究面向模型的動態(tài)架構體系結構和框架的分層方法，研究分層框架的層間交互原則，研究構建基于模型的動態(tài)架構的醫(yī)療保險業(yè)務平臺、面向服裝業(yè)ERP系統(tǒng)、醫(yī)療保險違規(guī)欺詐挖掘平臺，研究企業(yè)服務總線(ESB)，研究基于模型的實時系統(tǒng)設計方法。該方向目前正承擔著多項江蘇省科技支撐計劃、鎮(zhèn)江市科技支撐計劃和企事業(yè)橫向合作課題。

軟件測試與質量評估：主要研究軟件錯誤注入測試技術，研究構件安全性測試理論與技術，研究構件安全等級評估方法，研究基于模型檢測的軟件可靠性驗證技術，研究基于時態(tài)邏輯的軟件行為規(guī)約方法，研究高可信嵌入式軟件系統(tǒng)設計開發(fā)與分析技術。該方向目前正承擔著多項江蘇省高校自然科學基金、校高級人才啟動基金和企事業(yè)橫向合作課題。

軟件形式化方法：主要研究軟件體系結構的形式化描述方法，研究數據模型的形式化描述方法，研究智能主體行為推理的形式描述方法，研究隱通道的形式化描述方法。該方向目前正承擔著多項國家自然科學基金、教育部博士點基金和鎮(zhèn)江市科技支撐計劃課題。