吉林大學(xué)計算機(jī)科學(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》、《計算機(jī)學(xué)報》、《軟件學(xué)報》等國內(nèi)外期刊和會議上累計發(fā)表高水平學(xué)術(shù)論文180余篇，其中：SCI檢索論文30余篇、EI檢索論文90余篇，出版學(xué)術(shù)著作2部。獲得全國商業(yè)科技進(jìn)步一等獎3項，吉林省科學(xué)技術(shù)進(jìn)步三等獎2項。承擔(dān)《形式語義學(xué)》、《軟件需求分析與規(guī)范》、《程序分析技術(shù)》等研究生課程和《程序設(shè)計基礎(chǔ)》（原名：高級語言程序設(shè)計）、《編譯原理與實現(xiàn)》等本科生課程，其中：《高級語言程序設(shè)計》為國家級精品課程，《編譯原理》為教育部-微軟精品課程。累計承擔(dān)各類教學(xué)研究和教學(xué)改革項目10余項，出版教材17部，發(fā)表教學(xué)論文10余篇。

吉林大學(xué)

本文來源：http://www.qiang-kai.com/jilindaxue/yanjiushengyuan_304579.html