福建師范大學(xué)研究生專業(yè)介紹：新型程序設(shè)計與形式化方法

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

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

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

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