福建师范大学数学与计算机学院导师介绍：蒋建民

　　姓名：蒋建民　
　　性别：男　　
　　职称：副教授　　
　　学院：数学与计算机科学学院
　　研究方向：软件工程实践与理论
　　　

　　个人简介：

　　男，1972年生，副教授，硕士生导师

　　教育经历：

　　 1991.9—1995.7 四川师范大学 物理系计算机专业 本科
　　 2003.9—2006.7 中国科学院成都计算机应用研究所 计算机软件与理论 博士

　　工作经历：

　　1995.7—2003.8 在重庆工商大学从事计算机教学与科研工作
　　 2006.8—现在 在福建师范大学从事计算机教学与科研工作

　　社会兼职：

　　《计算机应用》(中国科学院成都计算机应用研究所主办)，审稿人

　　研究兴趣：

　　软件工程实践与理论
　　目前，在工程中软件开发方法很难被正确采用，究其原因主要是现有方法在实践上没有具体可行的实施方案，我们的研究工作就是将现有方法具体化、工程化，从而提出自己的开发方法，主要研究基于组　　件、面向服务和云计算的软件开发方法。在实践上，寻求与软件公司合作，培养研究生成为高级程序员、架构工程师、系统分析员和软件项目经理。

　　形式刻画和形式验证
　　软件需求、设计、编码和测试是非常繁重的工作，现阶段还没有完全可行的理论和技术保证开发软件的质量，我们的研究工作主要提出新的理论和技术，采用严格的数学推理方法，把新的理论融入到软件开发过程中，使其部分能自动生成代码，保证软件正确。

　　指导研究生：

　　2007级：朱恒亮、肖颖
　　2008级：林添荣

　　教学：

　　主要对本科学生讲授《软件工程》和《C++》等课程

　　科研：

　　1、 论文

　　1) Jianmin Jiang, Shi Zhan, Ping Gong and Zhong Hong. Service Adaptation at message Level. Submitted to ICWS’2011
　　2) Jianmin Jiang, Hongpin. Shu. Assembly, Disassembly, Adaptation and Replacement of Software Components, Proc. of CSSE 2008, IEEE Computer Society Press, 2008
　　3）Jianmin Jiang, Jinzhao Wu and Hongping Shu. Symmetry in Process Algebra. Proceedings of First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp.450-459, IEEE Computer Society Press, 2007
　　4) Jianmin Jiang, Jinzhao Wu and Li Xu. An Architecture for Software Systems with Time Constraints. Proceedings of Eighth ACIS International Conference onSoftware Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, pp.154-159, IEEE Computer Society Press, 2007.
　　5) Jianmin Jiang, Jinzhao Wu and Donghuo Chen. Symmetry in Event Structures. Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC’06). ACM press, pp. 1850- 1851, 2006.
　　6) Jianmin Jiang, Jinzhao Wu. Interleaving and Step Equivalences and Their Preservations under Action Refinement. Accepted by Journal of Computer Science and Technology, 2005.
　　7) Jianmin Jiang, Jinzhao Wu. Symmetry and Autobisimulation. Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005). IEEE Computer Society Press, pp.866-870, 2005.
　　8) Jianmin Jiang, Jinzhao Wu and Wei Yan. Structural Reductions in Process Algebra Languages. Proceedings of the 11th Joint International Computer Conference (JICC 2005). World Scientific Publishing Co., pp.596-600, 2005.
　　9) Jianmin Jiang, Jinzhao Wu. The preservation of interleaving equivalences. Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, pp.580-589, 2005.
　　10) 蒋建民、舒红平.基于组件和中间件的装配式软件系统模型。计算机工程与应用. 2003, 39(34):137-138,190.
　　11) 蒋建民. 基于组件的设计模式。计算机应用研究。2003，增刊：278-282。
　　12) 蒋建民、李登信. 用例模型与装配式软件系统的开发. 计算机工程与设计. 2003, 24(12):97-99.
　　13) 蒋建民. 基于XML与组件的新组件. 第四次全国程序设计语言发展与教学学术会议论文集. 北京：电子工业出版社，2003，76-80.
　　14) 蒋建民、张世勇. 基于组件的分析模型. 重庆工商大学学报. 2003,20(1):37-40.
　　15) 蒋建民. JMS、XML和组件构建可装配的软件系统. 计算机应用研究. 2003, 20(7):72-75.
　　16) 蒋建民、李登信. 软件槽技术与装配式软件系统. 计算机应用研究. 2003, 20(2):32-33，47.
　　17) 蒋建民、李登信. 基于组件的用例模型. 计算机工程与应用. 2002, 38(22):98-99,130.
　　18) 蒋建民、张世勇. 软件扩展槽技术. 渝州大学学报. 2002,19(3):49-52
　　19) 蒋建民. Java、XML和组件技术构建可装配系统. 计算机工程与应用. 2002, 38(16):105-106,109
　　20) 蒋建民. 基于组件和工作流技术的系统模型. 计算机工程与应用. 2002,38(15) :63-64

　　2、 科研项目

　　已结题： 福建省科技厅青年人才项目，项目编号为：2006F3043，项目负责人。

　　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式