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

導(dǎo)師簡(jiǎn)介：蔣建民副教授、博士，張仕副教授、博士，龔平博士

研究方向：本方向主要針對(duì)當(dāng)前新型程序設(shè)計(jì)需求，研究如何利用形式化方法滿(mǎn)足新的開(kāi)發(fā)范型中保證軟件質(zhì)量的新方法、技術(shù)和工具的需求。研究重點(diǎn)包括程序語(yǔ)言及其支撐環(huán)境、基于上下文的建模方法、面向web服務(wù)的軟件設(shè)計(jì)和形式化分析與驗(yàn)證。已在面向?qū)ο蟪绦蚝头��?wù)動(dòng)態(tài)演化、服務(wù)組合形式化、語(yǔ)義web服務(wù)組合的驗(yàn)證等方面展開(kāi)卓有成效的研究。在工程應(yīng)用上，主要對(duì)利用形式化工具輔助軟件設(shè)計(jì)和自動(dòng)實(shí)現(xiàn)技術(shù)展開(kāi)研究，并在項(xiàng)目中加以應(yīng)用。該方向現(xiàn)有副教授4位，具有博士學(xué)位3位。

本方向具有良好的理論研究和技術(shù)開(kāi)發(fā)基礎(chǔ)。先后參加863計(jì)劃2項(xiàng)，國(guó)家自然科學(xué)基金2項(xiàng)，主持福建省自然科學(xué)基金3項(xiàng)、教育廳資助的青年人才項(xiàng)目和K類(lèi)項(xiàng)目各1項(xiàng)，及其它省級(jí)科技項(xiàng)目，同時(shí)主持開(kāi)發(fā)了3項(xiàng)橫向課題。本研究方向在程序語(yǔ)言及支撐環(huán)境、面向服務(wù)的軟件設(shè)計(jì)和驗(yàn)證方面取得了豐碩的成果，研究成果被DCDIS、COMPSAC、QSIC、《軟件學(xué)報(bào)》等國(guó)內(nèi)外權(quán)威刊物和會(huì)議接受。進(jìn)五年來(lái)共發(fā)表論文30余篇。