| 姓名 | 祝义 | 性别 | 男 | 出生年月 | 1976.9.18 | 民族 | 汉 | |||
| 所在院所 | 计算机科学与技术学院 | 职务 | | |||||||
| 通讯地址 | 江苏省徐州市铜山区上海路101号 | 邮编 | 221116 | |||||||
| 联系电话 | 固定：83500304 移动： | |||||||||
| 传真 | | 电子邮箱 | zhuy@xznu.edu.cn | |||||||
| 毕业院校 | 南京航空航天大学 | 所学专业 | 计算机应用技术 | |||||||
| 学历 | 研究生 | 学位 | 博士 | |||||||
| 技术职称 | 讲师 | 研究方向 | 软件工程、形式化方法、实时与嵌入式软件建模与验证 | |||||||
| 荣誉称号 | | |||||||||
| 近5年参与的主要项目 | 项目名称 | 角色 | ||||||||
| 支持非功能需求的可信嵌入式软件建模与验证方法研究 江苏省高校自然科学基金（No. 10KJB520019） | 主持 | |||||||||
| 基于时序逻辑的面向方面软件体系结构建模与分析 江苏省高校自然科学基金(No. 08KJB520010) | 主要参与 | |||||||||
| 基于Trustie的神州数码软件生产线改造及应用示范 国家高技术研究发展计划(863)项目（No. 2009AA010307） | 课题主要成员 | |||||||||
| 高阶进程演算的互模拟研究 国家自然科学基金(No.60873025) | 课题主要成员 | |||||||||
| 基面向高阶通信的进程演算系统研究及应用 江苏省自然科学基金(No.BK2008389) | 课题主要成员 | |||||||||
| 代表性成果 （专著、论文、专利） | [1] 祝义, 黄志球, 周航, 刘林源. 基于进程代数规约生成软件体系结构模型的方法 [J]. 计算机研究与发展, 2011, 48(2): 241~250. (EI收录) [2] 祝义, 黄志球, 曹子宁, 周航, 刘亚萍. 一种基于形式化规约生成软件体系结构模型的方法 [J]. 软件学报, 2010, 21(11): 2738~2751. (EI: 20105213523746) [3] 祝义, 黄志球, 曹子宁. 一种支持实时软件资源建模与分析的方法 [J]. 东南大学学报（自然科学版）, 2010, 40(3): 500~505. (EI: 20102713051773) [4] 祝义, 黄志球, 张广泉, 周航. 一种支持实时软件时间建模的形式化方法 [J]. 解放军理工大学学报（自然科学版）, 2010, 11(3): 274~278. (EI: 20103013098924) [5] 祝义, 张永常, 张广泉, 黄志球. UML与Z结合的建模过程及其应用 [J]. 计算机科学, 2007, 34(5): 273~276. [6] 祝义, 张广泉. 基于UML和Z的软件体系结构求精方法及其应用 [J]. 计算机工程与应用, 2006, 42(5): 59~62. | |||||||||
| | [7] Yi Zhu. Modeling and Analysis of Real-Time Software based on Resource Timed Communicating Sequential Process [J]. Advanced Materials Research, 2011, 225-226: 802~806. (EI收录) [8] Yi Zhu. Modeling and Analyzing Energy Consumption of Embedded Software[C]. In: Proc. of 2nd World Congress on Computer Science and Information Engineering (CSIE 2011), [9] 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: 20104313329107) [10]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), [11]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), | |||||||||
| 可提供的服务 | 模型驱动的软件开发方法、形式化分析与验证、实时与嵌入式软件建模与验证 | |||||||||
| 所在院所审核（盖章） 年 月 日 | ||||||||||
