2011-09-10
新型程序设计与形式化方法
导师简介：蒋建民副教授、博士，张仕副教授、博士，龚平博士
研究方向：本方向主要针对当前新型程序设计需求，研究如何利用形式化方法满足新的开发范型中保证软件质量的新方法、技术和工具的需求。研究重点包括程序语言及其支撑环境、基于上下文的建模方法、面向web服务的软件设计和形式化分析与验证。已在面向对象程序和服务动态演化、服务组合形式化、语义web服务组合的验证等方面展开卓有成效的研究。在工程应用上，主要对利用形式化工具辅助软件设计和自动实现技术展开研究，并在项目中加以应用。该方向现有副教授4位，具有博士学位3位。
本方向具有良好的理论研究和技术开发基础。先后参加863计划2项，国家自然科学基金2项，主持福建省自然科学基金3项、教育厅资助的青年人才项目和K类项目各1项，及其它省级科技项目，同时主持开发了3项横向课题。本研究方向在程序语言及支撑环境、面向服务的软件设计和验证方面取得了丰硕的成果，研究成果被DCDIS、COMPSAC、QSIC、《软件学报》等国内外权威刊物和会议接受。进五年来共发表论文30余篇。
