個人簡介
陳中育,教授,浙江師範大學數理信息學院副院長。
研究方向
規範化軟體開發技術、需求建模、形式化方法。
主講課程
本科課程:軟體工程、軟體項目管理、CMM理論與實踐br/ 主講研究生課程:高級軟體工程
科研項目
1.智慧型Avatar的自主行為、情感與動畫,浙江省自然科學基金重大項目,2004年立項,30萬元,已結題,項目主持。
2.適合中小規模企業軟體人才的技能提高與實訓平台開發,浙江省科技廳重點科技計畫項目,2007年立項,25萬元,已結題,項目主持。
3.公共技術服務平台,浙江省科技廳項目(金華科技園創業服務中心與軟體研發中心聯合申報),2010年立項,1000萬元(浙江省科技廳280萬、金華市政府配套720萬),目前在研,總課題第二主持,子課題負責人。
論文著作
[1] A Motion Blending Approach Based on Unsupervised Clustering, Proceedings of the 16th International Conference on Artificial Reality and Telexistence(ICAT2006), November 29 - December 1, Hangzhou, China,CA:IEEE Computer Society Press, 2-1
[2] A novel skleleton based shape match method, Journal of Computational Information Systems. Binary Information Press, ISSN 1553-9105,2007(2),2-2
[3] 場景驅動的構件行為捨棄.計算機套用,2008,28(11),3-2
[4] A New Formal Modeling Approach for Requiremen, International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. CA: IEEE Computer Society Press,3-1
[5] 基於構件行為的場景建模框架.浙江師範大學學報(自然科學版),2008,31(4),3-1
[6] 基於場景規約的系統行為建模. 套用科學學報,2009,27(4),2-1
[7] Modeling Database Interactions in Web Applications and Generating Test Cases, World Congress on Software Engineering, WCSE2009, May 19-21, Xiamen, China. CA:IEEE Computer Systems Press,3-3
[8] An Abstract Approach to Describing Scenario-Based Specifications, 2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, December 2-4, Haikou, China. CA: IEEE Computer Society Press,2-1
[9] 基於事件的局部行為模型的合併.計算機套用,2010,30(1),3-2
[10] A Formal Modeling for Component Behaviors Based on Event Track, SOSE '10 Proceedings of the 2010 Fifth IEEE International Symposium on Service Oriented System Engineering, June 4-5, Nanjing, Jiangsu, China. CA:IEEE Computer Systems Press,4-1