福建师范大学研究生专业介绍:新型程序设计与形式化方法
![](http://img.kybimg.com/bang/images/m/icon_down.png)
新型程序设计与形式化方法 导师简介:蒋建民副教授、博士,张仕副教授、
新型程序设计与形式化方法
导师简介:蒋建民副教授、博士,张仕副教授、博士,龚平博士
研究方向:本方向主要针对当前新型程序设计需求,研究如何利用形式化方法满足新的开发范型中保证软件质量的新方法、技术和工具的需求。研究重点包括程序语言及其支撑环境、基于上下文的建模方法、面向web服务的软件设计和形式化分析与验证。已在面向对象程序和服务动态演化、服务组合形式化、语义web服务组合的验证等方面展开卓有成效的研究。在工程应用上,主要对利用形式化工具辅助软件设计和自动实现技术展开研究,并在项目中加以应用。该方向现有副教授4位,具有博士学位3位。
本方向具有良好的理论研究和技术开发基础。先后参加863计划2项,国家自然科学基金2项,主持福建省自然科学基金3项、教育厅资助的青年人才项目和K类项目各1项,及其它省级科技项目,同时主持开发了3项横向课题。本研究方向在程序语言及支撑环境、面向服务的软件设计和验证方面取得了丰硕的成果,研究成果被DCDIS、COMPSAC、QSIC、《软件学报》等国内外权威刊物和会议接受。进五年来共发表论文30余篇。
福建师范大学相关信息:
福建师范大学论坛新帖:更多
- 2021-07-12【福建师范大学】研究生招生学院联系方式一览表
- 2021-07-12研究生新生入学建议(欢迎补充)
- 2021-04-272016福师大版友经验分享
- 2023-11-282017年福师大英语笔译初试及复试经验
- 2023-04-25外院2010年真题+09年二外日语真题
- 2023-04-25【真题】英语语言文学\外国语言学及应用语言学2004-2010真题
- 2022-04-18福建师范大学 22考生,406分
- 2022-04-04【福建师范大学】2017年各学院复试经验分享专贴
- 2022-04-0423考研 福师大公共管理经验帖
- 2022-03-22调剂福师大(心理)感悟
考研帮最新资讯更多