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

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

吉林大學(xué)

本文來(lái)源：http://m.vzpo.com.cn/jilindaxue/yanjiushengyuan_304579.html