陆德 肖延延 仝得一 严宜扬 冯玉琳 邵山 张智敏 桂自强 王庆元 陈静 易章雄 陈一清 倪惜珍 NWirth 陈晓真 曹谷崖 杨均 尤国芳 孙卫国 肖连华 潘辛平 宗丽苹

软件工程 程序文件 软件开发 接口 系统模型开发 基模型 格式文件 菜单结构 交互系统 交互语言 接口管理 国民经济统计 第四代语言 数据管理系统 状态转换图 用户接口管理 形式化技术

中国科学院软件研究所 中国科学技术大学 中国科学院软件所