马亮 李红梅 纪钢 尹立孟 金成植 陶建华 张显峰 韩逢庆 顾进广 刘磊 赵晟 陈彬 黄小戎 张征 陈和平 刘进 蔡莲红 陆汝占 孙永强 何克清 崔伟宏 陶勇 何璐 桂盛霖

生成器 接续指称语义 代码自动生成 城市扩展 控件 程序转换 最小不动点 部分正确性 模型驱动开发 子表达式 细胞自动机 嵌入式软件 韵律结构预测 韵律词 模型驱动体系结构 终止性 结构化 关系数据库 时空动态分析 规则学习 模型转换 韵律短语 软件结构 面向对象 函数式语言 过程式语言 本体