研究方向
01复杂软件理论与自动化
02需求工程与领域工程
03形式化方法与技术
04软件建模与验证
05可信软件方法与技术
06软件体系结构与自适应系统
07服务计算与中间件
08软件分析
09软件测试
10软件数据挖掘