重大项目：大型网构化软件的可信开发运行和演化技术体系与支撑环境（SS2012AA010105）,国家高技术研究发展计划子课题,2012.1-2014.12,主要成员.