吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院軟件形式化專業(yè)介紹

發(fā)布時間：2020-05-27 編輯：考研派小莉推薦訪問：

吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院軟件形式化專業(yè)介紹內(nèi)容如下，更多考研資訊請關(guān)注我們網(wǎng)站的更新！敬請收藏本站，或下載我們的考研派APP和考研派微信公眾號（里面有非常多的免費考研資源可以領(lǐng)取，有各種考研問題，也可直接加我們網(wǎng)站上的研究生學(xué)姐微信，全程免費答疑，助各位考研一臂之力，爭取早日考上理想中的研究生院校。）

+吉林大學(xué) 研究生
微信,為你答疑,送資源

吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院軟件形式化專業(yè)介紹正文

主要研究內(nèi)容：程序設(shè)計語言及其實現(xiàn)技術(shù)、語義網(wǎng)與本體工程、軟件安全與云計算、知識表示與推理、需求工程與嵌入式軟件工程。
　　主要成果：承擔(dān)國家自然科學(xué)基金、國家高技術(shù)研究發(fā)展計劃（863課題）等科研項目30余項。在《Journal of Systems and Software》、《Pattern Recognition》、《Information Sciences》、《計算機學(xué)報》、《軟件學(xué)報》等國內(nèi)外期刊和會議上累計發(fā)表高水平學(xué)術(shù)論文180余篇，其中：SCI檢索論文30余篇、EI檢索論文90余篇，出版學(xué)術(shù)著作2部。獲得全國商業(yè)科技進步一等獎3項，吉林省科學(xué)技術(shù)進步三等獎2項。承擔(dān)《形式語義學(xué)》、《軟件需求分析與規(guī)范》、《程序分析技術(shù)》等研究生課程和《程序設(shè)計基礎(chǔ)》（原名：高級語言程序設(shè)計）、《編譯原理與實現(xiàn)》等本科生課程，其中：《高級語言程序設(shè)計》為國家級精品課程，《編譯原理》為教育部-微軟精品課程。累計承擔(dān)各類教學(xué)研究和教學(xué)改革項目10余項，出版教材17部，發(fā)表教學(xué)論文10余篇。

吉林大學(xué)

添加吉林大學(xué)學(xué)姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[吉林大學(xué)考研分?jǐn)?shù)線、吉林大學(xué)報錄比、吉林大學(xué)考研群、吉林大學(xué)學(xué)姐微信、吉林大學(xué)考研真題、吉林大學(xué)專業(yè)目錄、吉林大學(xué)排名、吉林大學(xué)保研、吉林大學(xué)公眾號、吉林大學(xué)研究生招生）]即可在手機上查看相對應(yīng)吉林大學(xué)考研信息或資源。