福建師范大學研究生專業介紹：新型程序設計與形式化方法

• 2025考研復試標準班
• 26考研全科上岸規劃營「擇校▪規劃▪備考」
• 福建師范大學2026考研專業課復習資料「真題▪筆記▪講義▪題庫」

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

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

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