江蘇大學(xué)專業(yè)介紹：計算機軟件與理論

• 2025考研復(fù)試標(biāo)準(zhǔn)班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 江蘇大學(xué)2026考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫」

計算機軟件與理論碩士點學(xué)科簡介

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

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

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

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

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

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