2018福师大考研:新型程序设计与形式化方法招生信息
来源:如果云知道  园友关注度 189   发布于:2/22/2017 3:55:55 PM


不是每一个梦想都能坚持,但每一个能坚持下来的人都是自己的人生赢家。 为了给2018年考研的小伙伴做个参考作用,聚英考研网整理了福建师范大学新型程序设计与形式化方法专业的考研招生信息和备考资料推荐。
一、导师简介:
蒋建民副教授、博士,张仕副教授、博士,龚平博士
二、研究方向:
本方向主要针对当前新型程序设计需求,研究如何利用形式化方法满足新的开发范型中保证软件质量的新方法、技术和工具的需求。研究重点包括程序语言及其支撑环境、基于上下文的建模方法、面向web服务的软件设计和形式化分析与验证。已在面向对象程序和服务动态演化、服务组合形式化、语义web服务组合的验证等方面展开卓有成效的研究。在工程应用上,主要对利用形式化工具辅助软件设计和自动实现技术展开研究,并在项目中加以应用。该方向现有副教授4位,具有博士学位3位。
本方向具有良好的理论研究和技术开发基础。先后参加863计划2项,国家自然科学基金2项,主持福建省自然科学基金3项、教育厅资助的青年人才项目和K类项目各1项,及其它省级科技项目,同时主持开发了3项横向课题。本研究方向在程序语言及支撑环境、面向服务的软件设计和验证方面取得了丰硕的成果,研究成果被DCDIS、COMPSAC、QSIC、《软件学报》等国内外权威刊物和会议接受。进五年来共发表论文30余篇。
真题园 (http://www.zhentiyuan.com) 最全的真题题库下载网站。

     分享到:
X
网站首页
投稿反馈
真题园网二维码