- 網(wǎng)站首頁(yè)Home
-
新聞資訊
News
歡迎訪(fǎng)問(wèn)我們網(wǎng)站
-
科技資源
Resources
-
科技服務(wù)
Service
-
交易公示
Publicity
-
合作伙伴
Partner
-
我要發(fā)布
Release
-
風(fēng)采大廳
Events
-
聯(lián)系我們
Contact
江蘇淮海技術(shù)產(chǎn)權交易中心是由江蘇淮?？萍汲?、徐州市科技局和中國礦業(yè)大學(xué)國家大學(xué)科技園聯(lián)合出資設立的，專(zhuān)業(yè)從事技術(shù)成果轉化、轉移與技術(shù)產(chǎn)權交易的服務(wù)機構。
軟件服務(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)程演算系統研究及應用”等項目的研究。
掃描訪(fǎng)問(wèn)手機版 科技與知識產(chǎn)權
友情鏈接
關(guān)于我們
電話(huà)：0516-83896168 傳真：0516-83896168 郵箱：jshtec@163.com 網(wǎng)址：www.jshtec.com 地址：江蘇徐州市金山東路中國礦業(yè)大學(xué)國家大學(xué)科技園科技大廈
