冯国奇 林民 杨潇 王成恩 刘连臣 许可 侯金奎 马军 李海越 宋柔 吴澄

可重入流生产线 模型驱动开发 笔段网格 等价性分析 业务过程重组 聊天室系统 字形比对 可调度性分析 时间π演算 映射 范畴理论 过程建模 汉字字形 软件体系结构