蒋建民（jjm@fjnu.edu.cn）　　个人简介：　　男，1972年生，副教授，硕士生导师　　教育经历：　　u1991.9—1995.7四川师范大学物理系计算机专业本科　　u2003.9—2006.7中国科学院成都计算机应用研究所计算机软件与理论博士　　工作经历：　　n1995.7—2003.8在重庆工商大学从事计算机教学与科研工作　　n2006.8—现在在福建师范大学从事计算机教学与科研工作　　社会兼职：　　《计算机应用》(中国科学院成都计算机应用研究所主办)，审稿人　　研究兴趣：ü软件工程实践与理论　　目前，在工程中软件开发方法很难被正确采用，究其原因主要是现有方法在实践上没有具体可行的实施方案，我们的研究工作就是将现有方法具体化、工程化，从而提出自己的开发方法，主要研究基于组件、面向服务和云计算的软件开发方法。在实践上，寻求与软件公司合作，培养研究生成为高级程序员、架构工程师、系统分析员和软件项目经理。　　ü形式刻画和形式验证　　软件需求、设计、编码和测试是非常繁重的工作，现阶段还没有完全可行的理论和技术保证开发软件的质量，我们的研究工作主要提出新的理论和技术，采用严格的数学推理方法，把新的理论融入到软件开发过程中，使其部分能自动生成代码，保证软件正确。　　指导研究生：　　2007级：朱恒亮、肖颖　　2008级：林添荣2012级：杨启帆、吴亚洲　　教学：　　主要对本科学生讲授《软件工程》和《C++》等课程　　科研：　　1、论文　1)JianminJiang,ShiZhang,PingGong,ZhongHong.Configuringbusinessprocessmodels,ACMSIGSOFTSoftwareEngineeringNotes38(4):1-10(2013)　2)JianminJiang,ShiZhang,PingGong,ZhongHong,,HouguangYue.Modelingandanalyzingmixedcommunicationsinservice-orientedtrustworthysoftware.ScienceChinaInformationSciences.55(12):2738-2756,2012.下载地址：http://info.scichina.com:8083/sciFe/EN/abstract/abstract509419.shtml3)JianminJiang,ShiZhang,PingGong,ZhongHong:MessageDependency-BasedAdaptationofServices.APSCC2011:442-4494)JianminJiang,ShiZhang,PingGong,ZhongHong:ServiceAdaptationatMessageLevel.SERVICES2011:87-88　　5)JianminJiang,Hongpin.Shu.Assembly,Disassembly,AdaptationandReplacementofSoftwareComponents,Proc.ofCSSE2008,IEEEComputerSocietyPress,20086)JianminJiang,JinzhaoWuandHongpingShu.SymmetryinProcessAlgebra.ProceedingsofFirstJointIEEE/IFIPSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE'07),pp.450-459,IEEEComputerSocietyPress,20077)JianminJiang,JinzhaoWuandLiXu.AnArchitectureforSoftwareSystemswithTimeConstraints.ProceedingsofEighthACISInternationalConferenceonSoftwareEngineering,ArtificialIntelligence,Networking,andParallel/DistributedComputing,pp.154-159,IEEEComputerSocietyPress,2007.8)JianminJiang,JinzhaoWuandDonghuoChen.SymmetryinEventStructures.Proceedingsofthe21stAnnualACMSymposiumonAppliedComputing(SAC’06).ACMpress,pp.1850-1851,2006.　　9)JianminJiang,JinzhaoWu.SymmetryandAutobisimulation.Proceedingsofthe6^thInternationalConferenceonParallelandDistributedComputing,ApplicationsandTechnologies(PDCAT2005).IEEEComputerSocietyPress,pp.866-870,2005　　10)JianminJiang,JinzhaoWuandWeiYan.StructuralReductionsinProcessAlgebraLanguages.Proceedingsofthe11^thJointInternationalComputerConference(JICC2005).WorldScientificPublishingCo.,pp.596-600,2005　　11)JianminJiang,JinzhaoWu.Thepreservationofinterleavingequivalences.Proceedingsofthe10^thIEEEInternationalConferenceonEngineeringofComplexComputerSystems.IEEEComputerSocietyPress,pp.580-589,2005　　12)蒋建民、梁新元、舒红平.基于组件和中间件的装配式软件系统模型.计算机工程与应用.2003,39(34):137-138,190.　　13)蒋建民.基于组件的设计模式.计算机应用研究。2003，增刊：278-282。　　14)蒋建民、李登信.用例模型与装配式软件系统的开发.计算机工程与设计.2003,24(12):97-99.　　15)蒋建民.基于XML与组件的新组件.第四次全国程序设计语言发展与教学学术会议论文集.北京：电子工业出版社，2003，76-80.　　16)蒋建民、张世勇.基于组件的分析模型.重庆工商大学学报.2003,20(1):37-40.　　17)蒋建民.JMS、XML和组件构建可装配的软件系统.计算机应用研究.2003,20(7):72-75.　　18)蒋建民、李登信.软件槽技术与装配式软件系统.计算机应用研究.2003,20(2):32-33，47.　　19)蒋建民、李登信.基于组件的用例模型.计算机工程与应用.2002,38(22):98-99,130.　　20)蒋建民、张世勇.软件扩展槽技术.渝州大学学报.2002,19(3):49-52　　21)蒋建民.Java、XML和组件技术构建可装配系统.计算机工程与应用.2002,38(16):105-106,109　　22)蒋建民.基于组件和工作流技术的系统模型.计算机工程与应用.2002,38(15):63-64　　　　2、科研项目　　已结题：福建省科技厅青年人才项目，项目编号为：　2006F3043，项目负责人。　　3、软件项目(本人直接参与)时间　　工作内容　　单位　　备注　　
2008.9-2009.1　　需求分析　　（大型物流企业的ERP系统）　　福建盛辉物流集团公司　　带领学生直接参与需求分析工作，该项目涉及260多家分支公司　　
2007.5-2007.9　　分析与设计　　福州富士通软件有限责任公司　　带领学生开发“垃圾邮件管理系统”　　
2001.5-2002．5　　1、电子商务平台设计　　重庆电子商务发展有限公司（岗位：系统分析员）　　　　1、负责其中支付、认证分析、设计、实现，参与电子商务平台规划。　　
2、新技术钻研　　2、负责钻研组件技术、UML和软件工程方法，提出建议。　　
3、改进公司软件分析、设计步骤和方法　　
3、负责一些小项目分析、设计工作　　
2000.9-2001.4　　1、负责电量、电费决策分析系统　　重大电气有限公司（岗位：系统分析员）　　1、用BusinessObject的OLAP软件实现电量、电费的决策分析　　
2、建立电力标准网站　　2、对网站建立的设计、分析　　
1999.4-2000.9　　1、负责重庆市烟草专卖系统分析、设计　　重庆市渝叶科技发展有限公司　　（岗位：系统分析员）　　“烟草进销存”和”专卖”项目是将全重庆市各区县及乡的烟草专卖执法检查与销售管理联结在一起，本人主要负责分析、设计并指导实现。软件收入300多万元。软硬件总值超1000万。　　
2、负责DB2技术问题　　
3、协助重庆市烟草进销存系统分析设计　　
1998.1-1999.3　　重庆市电力建设一公司办公自动化　　重庆远望科技　　负责分析、设计并参与编码　　（岗位：系统分析员、程序员）　　
1997.7-1998.3　　重庆港务售票系统　　重庆长松网络　　参与编码（岗位：程序员）