• 2026考研英語全程班 6班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 福建師范大學2026考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

導師簡介：蔣建民副教授、博士，張仕副教授、博士，龔平博士

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

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