研究小组
-
面向对象与建模
- 模型驱动的开发
-
程序理解与测试
- 逆向工程, 程序验证与分析, 测试
-
资源库
- 软件资源库, 构件库
-
操作系统
- 系统安全, 嵌入式操作系统平台
-
软件体系结构
- ABC方法, ABCTool
-
网构软件
- 网构软件方法,平台,工具
-
自主计算
- 自主构件; Agent
-
领域工程
- 特征驱动的需求工程与领域工程
-
应用服务器
- J2EE, PKUAS, JO2nAS
-
实时嵌入式中间件
- 面向资源受限环境的软件工程
-
软件过程管理
- 过程模型, CMM
-
软件分析与监测
- MASS
-
软件需求工程
- 研究软件需求的获取和建模方法

