福建师范大学研究生专业介绍:新型程序设计与形式化方法
新型程序设计与形式化方法
导师简介:蒋建民副教授、博士,张仕副教授、博士,龚平博士
研究方向:本方向主要针对当前新型程序设计需求,研究如何利用形式化方法满足新的开发范型中保证软件质量的新方法、技术和工具的需求。研究重点包括程序语言及其支撑环境、基于上下文的建模方法、面向web服务的软件设计和形式化分析与验证。已在面向对象程序和服务动态演化、服务组合形式化、语义web服务组合的验证等方面展开卓有成效的研究。在工程应用上,主要对利用形式化工具辅助软件设计和自动实现技术展开研究,并在项目中加以应用。该方向现有副教授4位,具有博士学位3位。
本方向具有良好的理论研究和技术开发基础。先后参加863计划2项,国家自然科学基金2项,主持福建省自然科学基金3项、教育厅资助的青年人才项目和K类项目各1项,及其它省级科技项目,同时主持开发了3项横向课题。本研究方向在程序语言及支撑环境、面向服务的软件设计和验证方面取得了丰硕的成果,研究成果被DCDIS、COMPSAC、QSIC、《软件学报》等国内外权威刊物和会议接受。进五年来共发表论文30余篇。
【福建师范大学研究生专业介绍:新型程序设计与形式化方法】相关文章:
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍:125200公共管理
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍:120404社会保障
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍:120401行政管理
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍:035200社会工作
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍:035102法律(法学)
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍:035101法律(非法学)
网友关注
- 【专业介绍】2004年电子科技大学管理学考研试题
- 【专业介绍】2003年电子科技大学微机原理与应用考研试题
- 【专业介绍】2004年电子科技大学高等数学和大学物理(高校教师)考研试题
- 【专业介绍】2003年电子科技大学计算方法考研复试试题
- 【专业介绍】2003年电子科技大学英语听力考研试题
- 【专业介绍】2004年电子科技大学固体物理考研复试试题
- 【专业介绍】2003年电子科技大学脉冲与数字电路考研复试试题
- 【专业介绍】2004年电子科技大学计算机原理部分考研试题
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比