张立臣 华庆一 王恩玺 房鼎益 徐永森 张静宇 陈广明 栗阳 顾训穰 张凤英 姜馨杰 杨越 缪淮扣 邹俊 陈生庆 唐新香 单学民 冯远兴 朱义毅

MISFRAME UML 逆向工程 交互式图形 面向对象 代码生成器 Object-Z模型 自动化 形式化 程序理解 监控程序 限制 类图 仿真 组件 正向工程 测试用例 Z模式 用户界面 再工程 集成测试 程序切片 软件工程 规格说明语言