姓名 ：祝义




一、基本情况
姓名：祝义
性别：男
民族：汉
出生年月：1976年9月
籍贯：江西九江
职务：副院长
职称：教授
学习经历：
2014年6月—2020年5月，南京航空航天大学，软件工程博士后流动站，博士后
2007年4月—2011年3月，南京航空航天大学，计算机学院，博士
2002年9月—2005年6月，苏州大学，计算机学院，硕士
1995年9月—1999年6月，华中师范大学，计算机科学系，学士

主要从事研究方向为软件可靠性、智能化软件、自适应学习等。近年来，主持国家自然科学基金面上项目1项，主持省部级项目5项，主持市厅级项目2项，主持校教研项目4项。担任国家自然科学基金评审专家以及《IEEE Transaction of Software Engineering》、《Software: Practice and Experience》、《计算机学报》审稿专家。在《Software: Practice and Experience》、《International Journal of Software Engineering and Knowledge Engineering》、《软件学报》、《计算机研究与发展》等核心学术刊物发表论文40余篇，其中SCI/EI检索30篇，获软件著作权4项，申请国家发明专利2项，指导省级研究生科研创新计划项目2项，省级大学生创新项目4项，指导学生获得国家级学科竞赛奖项5项、省部级学科竞赛奖项16项。
主要讲授课程《形式语言与自动机》《软件可靠性》《软件工程》《软件过程与管理》《UML理论与实践》等
二、学术兼职
中国计算机学会形式化方法专委会委员，江苏省计算机学会理事，江苏省计算机学会软件专委会委员，江苏省计算机学会教育专委会委员，江苏省人工智能学会人工智能教育专委会委员，中国高校计算机教育MOOC联盟江苏省工作委员会委员，徐州市人工智能学会监事，徐州市区块链协会理事，IEEE会员，美国波士顿大学、弗吉尼亚大学访问****。
三、发表论文
1. 陈小颖, 祝义, 赵宇, 王金永. 面向CPS时空性质验证的混成AADL建模与模型转换方法. 软件学报. (已录用)
2. 赵宇, 祝义, 于巧, 陈小颖. 基于分层数据筛选的跨项目缺陷预测方法. 计算机工程与应用. (已录用)
3. Yi Zhu, Xiaoying Chen, Yu Zhao. A Method for Generating Functional Programming Template Based on Model Transformation[C]. In: Proc. Of 2019 4th International Conference on Mechanical, Control and Computer Engineering (ICMCCE2019), Hohhot: IEEE CS, 2019, 845-850. (EI:647)
4. 祝义, 黄志球, 周航, 刘林源.函数式程序模板元编程的元建模实现方法. 计算机工程与应用, 2018, 54(7): 1~10.
5. 祝义, 黄志球, 周航. 采用函数式语言的BPEL模型形式化验证方法. 计算机科学与探索, 2018, 12(2): 185~196.
6. Yi Zhu, Zhiqiu Huang, Hang Zhou. Modeling and Verification of Web Services Composition based on Model Transformation. Software: Practice and Experience, 2017, 47(5): 709~730. (SCI: 004 & EI: 20**5, CCF推荐B类)
7. Yi Zhu, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao. Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra[J]. International Journal of Software Engineering and Knowledge Engineering, 2016, 26(7): 1099~1116. (SCI: 004 & EI: 20**2, CCF推荐C类)
8. 祝义, 周航, 肖芳雄, 张广泉. 一种嵌入式实时系统软件能耗建模与分析的方法[J]. 计算机研究与发展, 2014, 51(4): 848~855.(EI: 20**8)
9. 祝义, 黄志球, 张广泉, 周航, 肖芳雄. 硬实时软件建模与分析的进程代数方法[J]. 计算机科学与探索, 2014, 8(6): 684~693.
10. Yi Zhu, Hang Zhou, Zhiqiu Huang, Guangquan Zhang. An Approach for Transforming LOTOS Specifications into MARTE Models[J]. International Journal of Advancements in Computing Technology, 2013, 5(3): 170~179. (EI:20**0)
11. 祝义, 黄志球, 周航, 刘林源. 基于进程代数规约生成软件体系结构模型的方法[J]. 计算机研究与发展, 2011, 48(2): 241~250.(EI:958)
12. 祝义, 黄志球, 曹子宁, 周航, 刘亚萍. 一种基于形式化规约生成软件体系结构模型的方法[J]. 软件学报, 2010, 21(11): 2738~2751. (EI: 746)
13. 祝义, 黄志球, 曹子宁. 一种支持实时软件资源建模与分析的方法[J]. 东南大学学报（自然科学版）, 2010, 40(3): 500~505. (EI: 773)
14. 祝义, 黄志球, 张广泉, 周航. 一种支持实时软件时间建模的形式化方法[J]. 解放军理工大学学报（自然科学版）, 2010, 11(3): 274~278. (EI: 924)
15. 祝义, 张永常, 张广泉, 黄志球. UML与Z结合的建模过程及其应用[J]. 计算机科学, 2007, 34(5): 273~276.
16. 祝义, 张广泉. 基于UML和Z的软件体系结构求精方法及其应用[J]. 计算机工程与应用, 2006, 42(5): 59~62.
17. 祝义, 马小虎. 基于UML和Rational Rose的计算机远程教学系统的设计[J]. 计算机应用研究, 2004, 10: 188~189.
18. Yi Zhu, Kejian Chen, Jinwei Xia, Gongjie Zhang. Resource Modeling and Analysis of Real-Time Software Based on Process Algebra [C]. In: Proc. Of 4th International Conference on Computational and Information Sciences (ICCIS2012), Chongqing: IEEE CS, 2012, Vol. 1: 247~250. (EI: 997)
19. Yi Zhu. Modeling and Analysis of Real-Time Software based on Resource Timed Communicating Sequential Process [C]. In: Proc. Of 2011 International Conference on Automation, Communication, Architectonics and Materials (ACAM2011), Wuhan: IEEE CS, 2011, Vols. 225-226: 802~806. (EI: 404)
20. Yi Zhu. Modeling Energy-Aware Embedded Software Using Process Algebra [C]. In: Proc. of 2nd World Congress on Computer Science and Information Engineering (CSIE 2011), Changchun: IEEE CS, Part I, CCIS 152: 389~394. (EI: 404)
21. Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan. An MDE Based Approach for Generating Software Architecture Models from Formal Specifications [C]. In: Proc. of The 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie: IEEE CS, 2010: 373~376. (EI: 107)
22. Yi Zhu, Zhiqiu Huang, Guangquan Zhang. Modeling and Analysis of Real-Time Software based on Resource Communicating Sequential Process [C]. In: Proc. of 2009 International Conference on Information Engineering and Computer Science (ICIECS 2009), Wuhan: IEEE CS, 2009, Vol (5): 3164~3168. (EI: 879)
23. Yi Zhu, Zhiqiu Huang, Hang Zhou. A Formal Method Support for Resource Modeling of Web Services Composition [C]. In: Proc. of 2008 International Symposium on Computer Science and Computational Technology (ISCSCT 2008), Shanghai: IEEE CS, 2008, Vol (1): 370~375.(EI: 995 ISTP: BIX52)
24. Junhua Zhang, Yi Zhu. Scenario-based trustworthiness verification for systems of internet of things[J]. International Journal of Internet Protocol Technology (IJIPT), 2018, 11(1): 51~62. (EI)
25. L. Zheng, M. Rong, G. Zhang, Y. Zhu, G. Chen, H. Zhang. Method for modeling CPS based on open colored petri net [J]. Journal of Computational Information Systems, 2014, 10(22): 9657~9664. (EI: 20**5)
26. J. Zhang, G. Zhang, R. Yan, Y. Zhu, X, Qi. Modeling and verifying of CPS component services based on hybrid automata[J]. International Journal of Multimedia and Ubiquitous Engineering, 2014, 9(6): 49-57.(EI: 20**5)
27. 肖芳雄, 李燕, 张君华, 祝义, 朱小栋. 一种Web服务的QoS抽象模型和评估方法[J]. 计算机科学, 2014, 41(11): 1094~1103.
28. 范大娟, 黄志球, 肖芳雄, 祝义, 王进. 面向多服务交互的相容性分析与适配器生成方法[J]. 吉林大学学报(工学版), 2014, 44(4): 103~106.(EI:20**0)
29.张广泉, 张侃, 祝义, 周航.基于体系结构能耗建模的CPS软件可信性评估方法[J]. 电子学报, 2013, 41(11): 2270~2275.(EI: 20**2)
30. K. Zhang, G. Zhang, M. Chen, Y. Zhu. Model supporting CPS software system evaluation on trustworthiness. Journal of Computational Information Systems, 2012, 8(16): 6773-6780. (EI: 541)
31. 周航, 黄志球, 祝义, 夏良, 刘林源. 基于Time Petri Nets的实时系统冲撞检测与消解[J]. 计算机研究与发展, 2012, 49(2): 413~420. (EI: 216).
32. 刘林源, 李清, 祝义, 周航, 肖芳雄, 黄志球. Web服务组合中的隐私需求规约与验证[J]. 解放军理工大学学报(自然科学版), 2012, 13(1): 27~33.
33. 王晶, 戎玫, 张广泉, 祝义. 基于概率模型检测的Web服务组合验证[J]. 计算机科学, 2012, 39(1): 120~123.
34. 肖芳雄, 黄志球, 曹子宁, 屠立忠, 祝义. Web服务组合功能与QoS的形式化统一建模和分析[J]. 软件学报, 2011, 22(11): 2698~2715. (EI: 201**).
35. 周航, 黄志球, 张广泉, 祝义, 胡军. 基于PTCPN的网构软件建模与分析方法[J]. 软件学报, 2010, 21(6): 1254~1267. (EI: 849).
36. 周航, 黄志球, 胡军, 祝义. 基于Time Petri Net的实时系统资源冲突检测[J]. 计算机研究与发展, 2009, 46(9): 1578~1585. ( EI: 173)
37. 周航, 黄志球, 孙海燕, 张广泉, 祝义. 基于OCL约束的多态性时序图测试用例生成方法[J]. 解放军理工大学学报(自然科学版), 2008, 9(3): 222~722. ( EI: 903)
38. 刘亚萍, 黄志球, 祝义. 一种基于MDE的实时软件模型转换方法[J]. 小型微型计算机系统, 2010, 31(11): 2145~2153.
39. 吉鸣, 黄志球, 祝义, 王珊珊, 沈国华.基于MDA的实时软件资源建模与模型转换的方法. 计算机科学[J]. 计算机科学, 2011, 38(8): 136~141.
40. 吴博, 黄志球, 祝义. 基于实时扩展Wright的系统检验规则分析. 第十三届中国青年学术会议, 2008, 10.
41. Hang Zhou, Zhiqiu Huang, Yi Zhu. Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL [C]. In: Proc. of the 9th International Conference for Young Computer Scientists (ICYCS 2008), ZhangJiaJie: IEEE CS, 2008: 1235~1240. (EI: 025)
42. Min Yuan, Zhiqiu Huang, Jun Hu, Xiang Li, and Yi Zhu. Ensuring Coordination of Multi-business Interactions [C]. In: Proc. of International Conference on Services Computing (SCC 2009), Bangalore: IEEE CS, 2009: 356~363. (EI: 459)
四、获奖情况
1. 2020年，江苏师范大学研究生在线教学优秀案例二等奖——在线教学的即时反馈收集与处理
2. 2020年，江苏师范大学优秀毕业设计指导教师
3. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区优秀指导教师
4. 2019年，第三届“iTeach”全国大学生数字化教育应用创新大赛优秀指导教师
5. 2019年，江苏师范大学优秀毕业设计指导教师
6. 2018年，江苏师范大学先进工作者
7. 2018年，江苏师范大学“三全育人”先进个人
8. 2014年，南京市“321”人才计划人才
9. 2014年，江苏师范大学先进工作者
10.2014年，江苏师范大学优秀毕业设计指导教师
11.2013年，江苏省普通高校本专科优秀毕业设计（论文）团队指导教师
12.2012年，江苏师范大学先进工作者
五、研究项目（仅主持）
1. 2021/01-2024/12, 面向机器人编程教育的适应性学习特征建模与应用研究，国家自然科学基金面上项目，项目编号：**，48万，主持，进行中。
2. 2020/03-2021/03，工程教育专业认证背景下计算机类专业学生创新创业能力培养研究与实践，教育部产学合作协同育人项目，项目编号：2，3万，主持，进行中。
3. 2019/09-2020/09，新工科背景下计算机类专业学生创新创业能力培养研究与实践，教育部产学合作协同育人项目，项目编号：8，3万，主持，进行中。
4. 2019/09-2020/09，基于云平台的大数据实验室建设，教育部产学合作协同育人项目，项目编号：0，43.8万，主持，进行中。
5. 2018/12-2019/12, 人工智能联合实验室建设,教育部产学合作协同育人项目，项目编号：1，50万，主持，已结题。
6. 2015/09-2017/09，模型驱动的无人飞行器软件可靠性建模方法研究，江苏省博士后基金，项目编号：**B，4万，已结题，主持。
7. 2019/8-2021/7, 面向教育机器人编程的适应性学习系统构建研究，徐州市科技局项目，项目编号：KC19004，4万，主持，进行中。
8. 2012/01-2013/12，模型驱动的嵌入式软件建模与验证方法研究，江苏师范大学博士学位教师科研支持项目，项目编号：11XLR20，9万，已结题，主持。
9. 2011/01-2012/12，支持非功能需求的可信嵌入式软件建模与验证方法研究，江苏省高校自然科学基金，项目编号：10KJB520019，5万，已结题，主持。
10.2019/04-2021/04, 高校学生精细化培养大数据分析系统,徐州启微软件科技有限公司委托项目,30万，主持，进行中。
11.2019/07-2020/06，软件工程专业卓越工程人才培养模式探索与实践研究，江苏师范大学教育教学研究重点课题，项目编号：No. JYKTZ201911，1万，主持，进行中。
12.2018/05-2019/05，《软件工程》校内开放课程，江苏师范大学“十三五”第二批本科教育教学课程建设，项目编号：JYKC201844，3万，主持，已完成。
13.2016/09-2018/06，软件工程，江苏师范大学成人高教网络课程项目，项目编号：**，2万，主持，已完成。
14.2015/07-2017/06，软件服务外包人才培养模式探索与实践研究，江苏师范大学教育教学研究课题，项目编号：JYY201414，0.5万，主持，已完成。
六、专利软著
1. 祝义、赵宇，一种基于分层数据筛选的跨项目缺陷预测方法，发明专利号：0.7
2. 祝义、陈小颖，面向CPS时空性质的混成AADL建模与模型转换方法，发明专利号：8.3
3. 高宇翔、祝义，UML活动图测试用例生成系统[简称：UML测试用例生成] V1.0，软著登字号第**号。
4. 陈苏浩、祝义，高校教室资源管理系统V1.0，软著登字号第**号。
5. 何峰、祝义，班级同学录系统V1.0，软著登字号第**号。
6. 权文利、祝义、刘涛、梁军丽，企业人事管理系统V1.0，软著登字号第**号。
七、其他
（一）指导研究生创新项目
1. 江苏省研究生科研创新计划，基于分层数据筛选的跨项目缺陷预测研究。主持人：赵宇，指导老师：祝义
2. 江苏省研究生科研创新计划，面向CPS 的时空建模与验证及访问控制方法研究。主持人：陈小颖，指导老师：祝义
（二）指导研究生获软著
3. 赵宇，智慧考勤系统V1.0, 软著登字第**号
4. 陈小颖，面向青少年的创客教育管理系统V1.0，软著登字第**号
（三）指导研究生获奖
1. 2020年，全国大学生软件测试大赛总决赛嵌入式测试个人赛二等奖(证书编号：2020CN00A3011)，2020级研究生：居程程，指导老师：祝义；
2. 2020年，全国大学生软件测试大赛总决赛开发者测试个人赛三等奖(证书编号：2020CN00A1023)，2020级研究生：高宇翔，指导老师：祝义；
3. 2020年，全国大学生软件测试大赛总决赛移动应用测试个人赛三等奖(证书编号：2020CN00A2019)，2019级研究生：赵宇，指导老师：祝义；
4. 2020年，全国大学生软件测试大赛江苏赛区开发者测试个人赛一等奖(证书编号：2020CN32A1002)，2020级研究生：高宇翔，指导老师：祝义；
5. 2020年，全国大学生软件测试大赛江苏赛区嵌入式测试个人赛一等奖(证书编号：2020CN32A3001)，2020级研究生：居程程，指导老师：祝义；
6. 2020年，全国大学生软件测试大赛江苏赛区嵌入式测试个人赛三等奖(证书编号：2020CN32A3016)，2020级研究生：冯舒，指导老师：祝义；
7. 2020年，全国大学生软件测试大赛江苏赛区移动应用测试个人赛三等奖(证书编号：2020CN32A2009)，2019级研究生：赵宇，指导老师：祝义；
8. 2020年，全国大学生软件测试大赛江苏赛区Web应用测试个人赛三等奖(证书编号：2020CN32A4012)，2019级研究生：赵宇，指导老师：祝义；
9. 2020年，全国大学生软件测试大赛江苏赛区Web应用测试个人赛三等奖(证书编号：2020CN32A4015)，2019级研究生：陈小颖，指导老师：祝义；
10.2020年，全国大学生软件测试大赛江苏赛区移动应用测试个人赛三等奖(证书编号：2020CN32A2016)，2019级研究生：陈小颖，指导老师：祝义；
11.2019年，全国大学生软件测试大赛总决赛移动应用测试个人赛三等奖(证书编号：2019CN00A2033)，2019级研究生：陈小颖，指导老师：祝义；
12.2019年，全国大学生软件测试大赛江苏赛区移动应用测试个人赛三等奖(证书编号：2019CN32A2015)，2019级研究生：陈小颖，指导老师：祝义。
13.2019年，第三届“iTeach”全国大学生数字化教育应用创新大赛三等奖(证书编号：iTeach2019-321)，2019级研究生：陈小颖，赵宇，指导老师：祝义。
（四）指导本科生大创项目
1. 2019年江苏省大学生创新创业训练计划重点项目（No. 6Z）“基于群智能优化的UML模型测试用例自动生成研究”，1万，指导老师，进行中。
2. 2019年江苏省大学生创新创业训练计划一般项目（No. 1Y）“基于智能人脸识别技术的Face点名册系统研究”，0.6万，指导老师，已结题。
3. 2013年江苏省高等学校大学生实践创新训练计划项目（No. 4x）“基于UML模型的软件系统测试用例生成方法及工具研究”，0.2万，指导老师，已结题。
4. 2012年江苏省高等学校大学生实践创新训练计划项目（No. 12ssjcxyb07）“软件需求模型到设计模型的转换方法及其工具研究”，0.4万，指导老师，已结题。
（五）指导本科生获奖
1. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组二等奖(证书编号：)优秀指导教师
2. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组二等奖(证书编号：)优秀指导教师
3. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组二等奖(证书编号：)优秀指导教师
4. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组二等奖(证书编号：)优秀指导教师
5. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组三等奖(证书编号：)优秀指导教师
6. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组三等奖(证书编号：)优秀指导教师
7. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组三等奖(证书编号：)优秀指导教师
8. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区C/C++程序设计大学B组三等奖(证书编号：)优秀指导教师
9. 2019年，第十届蓝桥杯全国软件与信息技术专业人才大赛江苏赛区Java软件开发大学B组三等奖(证书编号：)优秀指导教师
（六）优秀本科生毕业设计
1. 面向青少年的创客教育管理系统的设计与实现，江苏师范大学2019年本科生优秀毕业设计（论文），2015级本科生：陈小颖，指导老师：祝义。
2. 基于UML模型的软件系统测试用例生成方法研究，江苏师范大学2020年本科生优秀毕业设计（论文），2016级本科生：高宇翔，指导老师：祝义。
3. 基于模型转换的数据流图到软件结构图的转换方法研究，江苏师范大学2020年本科生优秀毕业设计（论文），2016级本科生：刘涛，指导老师：祝义。