精品国产欧美日韩在线不卡_祝義_淮海經(jīng)濟區技術(shù)產(chǎn)權交易中心

无码人妻精品一区二区三区夜夜嗨,亚洲AV无码专区亚洲AV不卡,一线a在线爱免费观看视频巨网,人人鲁人人莫人人爱精品,在线观看网址国产成人

歡迎進(jìn)入淮海經(jīng)濟區技術(shù)產(chǎn)權交易中心官方網(wǎng)站！

0516-83896168 Email：jshtec@163.com 舊版回顧

軟件服務(wù)外包物聯(lián)網(wǎng)

祝義

工作單位：江蘇師范大學(xué)

從事領(lǐng)域：計算機應用技術(shù)

擅長(cháng)領(lǐng)域：軟件工程

畢業(yè)院校：南京航空航天大學(xué)

職稱(chēng)：
詳細內容

祝義，男，博士，副教授，碩士生導師，軟件工程系主任，中國計算機學(xué)會(huì )會(huì )員，ACM會(huì )員，研究方向為軟件工程、形式化方法、實(shí)時(shí)與嵌入式軟件建模與驗證等。1999年畢業(yè)于華中師范大學(xué)計算機科學(xué)系獲學(xué)士學(xué)位，2005年畢業(yè)于蘇州大學(xué)計算機科學(xué)與技術(shù)學(xué)院獲碩士學(xué)位，2011年3月畢業(yè)于南京航空航天大學(xué)信息科學(xué)與技術(shù)學(xué)院獲博士學(xué)位。近年來(lái)，主持江蘇省高校自然科學(xué)基金1項，主持并完成江蘇師范大學(xué)自然科學(xué)基金項目3項，近年來(lái)在核心學(xué)術(shù)刊物和國際會(huì )議上發(fā)表與錄用26篇論文，其中，EI檢索19篇，ISTP檢索3篇。2011年起主持江蘇省高校自然科學(xué)基金面上項目（No. 10KJB520019）“支持非功能需求的可信嵌入式軟件建模與驗證方法研究”；2012年起主持江蘇師范大學(xué)博士學(xué)位教師科研支持項目（No. 11XLR20）“模型驅動(dòng)的嵌入式軟件建模與驗證方法研究”；1999年至2002年主持并完成江蘇師范大學(xué)青年基金（No. QL9919）“面向對象的通用型計算機輔助命題系統”；2002年至2004年主持并完成江蘇師范大學(xué)自然科學(xué)基金（No. 02BXL016）“基于數據驅動(dòng)的軟件重用”；2006年至2008年主持并完成江蘇師范大學(xué)自然科學(xué)基金（No. 06XLB14）“UML與Z結合的建模方法及其應用”。參加了國家高技術(shù)研究發(fā)展計劃(863)項目（No. 2009AA010307）“基于Trustie的神州數碼軟件生產(chǎn)線(xiàn)改造及應用示范”、國家自然科學(xué)基金（No. 60873025）“高階進(jìn)程演算的互模擬研究”、江蘇省自然科學(xué)基金課題（No. BK2008389）“面向高階通信的進(jìn)程演算系統研究及應用”等項目的研究。