杨良怀 王军 章远 李师贤 应明生 王庆全 关春花 于凯 袁崇义 荣莉莉 王生原 刘富春 杨萍 薛锦云 屈文建

分析模型 信息融合 知识匹配 需求分析 图逻辑 模型论 程序设计语言 形式化本体 形式化方法 面向对象 PAR方法 最大公约子范畴 继承反常 略图 程序规范说明 最小不动点 应急决策支持 循环不变式 代数语义学 并发性 渐增式继承 抽象模型论