盛苏华 袁峰 李舜革 张兆庆 苗巍山 乔如良 徐家福 赵振西 谈乾康 胡伟平 李中华 戴敏 包磊 蓬颖 林钧海 钟珞 李迎豪 张森 耿国华 陈晓群 屈延文 李玉茜 卢小林 岳丽华 董乐红 缪淮扣 郑国樑 高原 秦小麟 过敏意

代数规格说明 子句 类 模块 无定义 可扩充DBMS 图象数据库 属性文法 部分求值 数据隐藏 代数方法 现代程序设计语言 设计和实现 功能分解 定义语言 对象 精确匹配 完备性 软件自动化 松散匹配 Windows 程序包 数据抽象 属性计算 软件设计工具 规范说明 程序设计语言 派生类 可重用模块 MIDAS

代数规格说明