吉林大学计算机科学与技术学院软件形式化专业介绍

发布时间：2020-05-27 编辑：考研派小莉推荐访问：

吉林大学计算机科学与技术学院软件形式化专业介绍内容如下，更多考研资讯请关注我们网站的更新！敬请收藏本站，或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取，有各种考研问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位考研一臂之力，争取早日考上理想中的研究生院校。）

+吉林大学研究生
微信,为你答疑,送资源

吉林大学计算机科学与技术学院软件形式化专业介绍正文

主要研究内容：程序设计语言及其实现技术、语义网与本体工程、软件安全与云计算、知识表示与推理、需求工程与嵌入式软件工程。
　　主要成果：承担国家自然科学基金、国家高技术研究发展计划（863课题）等科研项目30余项。在《Journal of Systems and Software》、《Pattern Recognition》、《Information Sciences》、《计算机学报》、《软件学报》等国内外期刊和会议上累计发表高水平学术论文180余篇，其中：SCI检索论文30余篇、EI检索论文90余篇，出版学术著作2部。获得全国商业科技进步一等奖3项，吉林省科学技术进步三等奖2项。承担《形式语义学》、《软件需求分析与规范》、《程序分析技术》等研究生课程和《程序设计基础》（原名：高级语言程序设计）、《编译原理与实现》等本科生课程，其中：《高级语言程序设计》为国家级精品课程，《编译原理》为教育部-微软精品课程。累计承担各类教学研究和教学改革项目10余项，出版教材17部，发表教学论文10余篇。

吉林大学

添加吉林大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[吉林大学考研分数线、吉林大学报录比、吉林大学考研群、吉林大学学姐微信、吉林大学考研真题、吉林大学专业目录、吉林大学排名、吉林大学保研、吉林大学公众号、吉林大学研究生招生）]即可在手机上查看相对应吉林大学考研信息或资源。