---

　　文志诚，男，汉族，1972.11出生于湖南东安，中共党员，博士，副教授，硕士研究生导师，湖南工业大学中青年骨干教师。2002.6广西师范大学数学与计算机科学学院硕士研究生毕业，2007.6上海大学计算机学院计算机软件与理论专业博士研究生毕业，同年调入湖南工业大学工作，现任计算机与通信学院软件工程系主任。研究方向：软件工程、可信软件。
Email: zcwen@mail.shu.edu.cn

学术论文
1. 文志诚, 李长云, 满君丰. 开放网络环境下软件运行时故障诊断研究, 小型微型计算机系统, 2012出版,已录用.
2. 文志诚, 李长云, 满君丰.基于贝叶斯网的分布式软件行为运行时可信性分析, 小型微型计算机系统, 2011, 32(8).
3. 文志诚, 李长云, 满君丰. 产生证明责任验证Object-Z规格说明的行为子类型继承, 小型微型计算机系统, 2009, 30(6):1049~1056.
4. 文志诚, 李长云, 满君丰. 用带时钟变量的线性时态逻辑扩充Object-Z, 计算机应用研究, 2009, 26(5):1764~1769.
5. 文志诚, 贾峰, 胡纯蓉. 一个Object-Z规格说明的证明责任产生器, 计算机应用与软件, 2010(5):34-37.
6. Zhicheng Wen, Huaikou Miao, Generating Proof Obligation to Verify Object-Z Specification, Proceedings of the International Conference on Software Engineering Advances(ICSEA06). 11, 2006, Tahiti, French Polynesia, IEEE CS press(Indexed by EI & ISTP), pp: 38-43.
7. Zhicheng Wen, Huaikou Miao. An Approach to Extending Object-Z with Real-Time, Proceedings of the Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA06). 1, 2006, Kuala Lumpur, Malaysia, IEEE CS press (Indexed by EI & ISTP),pp: 345-349.
8 文志诚,缪淮扣,张新林.基于Object-Z的形式化验证方法, 计算机科学, 2007, 34(5)247-251.
9. 文志诚, 缪淮扣, 许庆国. 一种从Object到CSP规格说明的转化方法, 计算机科学, 2006, 33(11):263-267.
10. 文志诚, 缪淮扣, 孙军梅. 基于Object-Z多态推理, 计算机科学, 2006, 33(7):230-232,256.
11. 文志诚, 杨善朝. NA、PA样本下密度核估计的相合性, 数学研究, 2002, 35(3):309-319.
12. 文志诚, 杨善朝. PA样本下密度核估计的相合性, 广西师范大学学报, 2002, 20(4):32-37.
13. 文志诚, 曹春丽. 以社会需求为导向的软件工程专业课程体系改革的研究, 计算机教育, 2010, 4:59-62
14. 文志诚, 彭国星, 朱文球, 肖小克,计算机算法设计与分析双语教学, 计算机教育, 2010, 12:59-63
15. Junfeng Man, Zhicheng Wen, Changyun Li, Xiangbing Wen. Research on running time behavior analyzing and trend predicting of modern distributed software, Journal of Computer, 2009, 4(8)(Indexed by EI).
16. 满君丰，杨路明，李长云，文志诚. 软件交互行为的可信性分析与态势预测研究. 小型微型计算机系统. 2009, 30(11)
17. 贾峰, 文志诚, 李长云, 曾茂林. 支持QoS和信任度的Web服务选择研究, 武汉理工大学学报, 2009(EI检索).
18.孙军梅,缪淮扣,文志诚. 面向服务的软件体系结构的形式化, 计算机工程, 2006, 32(8):4-5.
19. 沈毅, 缪淮扣, 文志诚, 陈怡海. 一个Z的证明责任产生器, 上海大学学报(自然科学版), 2005, 11(5):495-499.

科研项目
1. 文志诚, 李长云, 满君丰, 贾峰. 基于Web services构件交互的可信软件模型研究,中国包装总公司科研项目, 2009.9-2011.8.
2. 文志诚, 向华政, 梁爱南, 胡纯蓉, 唐承亮, 贾峰. 基于语义Web服务动态演化的可信软件模型研究,湖南省教育厅科研项目, 2009.1-2010.1.
3. 文志诚, 邓晓衡, 文志强, 陈莉. 计算机算法设计与分析双语教学,湖南工业大学双语教学示范课程建设项目, 2008.9-2011.6.
4. 文志诚, 邓晓衡, 文志强, 满君丰, 向华政等. 计算机算法设计与分析双语教学探素与实践,湖南工业大学教学研究与改革项目, 2008.9-2009.8.
5. 满君丰, 李长云, 文志诚, 吴志辉, 向剑伟, 王志兵, 杨 蕾, 温向兵, 林海玉. 智能家居中居住者与设备非正常情况的问题研究,中国包装总公司科研、技术开发项目(2008-XK10) 2008-2010.
6. 李长云, 满君丰, 王志兵, 文志诚, 文志华. 面向可信的动态工作流系统, 国家版权局软件登记中心(软著登字第129147号, 登记号: 2009SR02968). 2009年1月.
公开出版专著 1. 文志诚, 缪淮扣著. 面向对象软件的形式验证技术, 上海大学出版社出版发行, 2011年3月第1版, ISBN: 978-7-81118-648-2/G·545.

获奖情况
1. 2010.6指导学生刘鑫标和曹贵芝参加湖南省大学生计算机作品赛荣获一等奖，作品：基于Android平台和JavaEE的手机安全防盗与跟踪系统。
2. 2009.6指导学生宋欣德参加湖南省大学生计算机作品赛荣获全省二等奖，作品：铁路客车安全监控系统。
3 2009.6指导学生王飞和刘胜参加湖南省大学生计算机作品赛荣获全省三等奖，作品：校园网分布式计算平台。
4. 2009.5指导学生王飞参加第八届“挑战杯”湖南省大学生课外学术科技作品竞赛荣获全省三等奖，作品：网络准入系统与校园计算网格的集成实现。