牛曦 张京楣 韩芳溪 郭树行 金茂忠 兰雨晴 张幸儿 潘征宇 刘强 曾广周

软件模式 教学研究 迁移工作流 信息高速公路 优化算法 搜索策略 棋局 教学策略 需求规约 可信剖面 结构化 五子棋 倒推 结点数 形式化 经管类计算机教学 迁移实例 姿式 B抽象机 子位 面向对象 情景实例