研究方向

　　01复杂软件理论与自动化

　　02需求工程与领域工程

　　03形式化方法与技术

　　04软件建模与验证

　　05可信软件方法与技术

　　06软件体系结构与自适应系统

　　07服务计算与中间件

　　08软件分析

　　09软件测试

　　10软件数据挖掘