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

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

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

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

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

研究方向簡(jiǎn)介：
分布式計(jì)算系統(tǒng)：主要研究分布式環(huán)境中協(xié)同計(jì)算理論與技術(shù)，研究企業(yè)信息集成及業(yè)務(wù)協(xié)作服務(wù)支持平臺(tái)，研究分布式計(jì)算系統(tǒng)的安全訪問(wèn)控制方法，研究無(wú)線自組織網(wǎng)絡(luò)拓?fù)淇刂啤⒙酚蓞f(xié)議和系統(tǒng)安全。該方向目前正承擔(dān)著多項(xiàng)國(guó)家自然科學(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ù)平臺(tái)、面向服裝業(yè)ERP系統(tǒng)、醫(yī)療保險(xiǎn)違規(guī)欺詐挖掘平臺(tái)，研究企業(yè)服務(wù)總線(ESB)，研究基于模型的實(shí)時(shí)系統(tǒng)設(shè)計(jì)方法。該方向目前正承擔(dān)著多項(xiàng)江蘇省科技支撐計(jì)劃、鎮(zhèn)江市科技支撐計(jì)劃和企事業(yè)橫向合作課題。

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

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