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

計(jì)算機(jī)軟件與理論碩士點(diǎn)學(xué)科簡介

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

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

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

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

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

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