张志华 姜鸿飞 赵莹 车海燕 余江 陈伟 王昕 张家晨 冯铁 姜延峰 于海波 全炳哲 李文辉 王洪媛

基于知识的 面向对象程序设计 描述逻辑 RB-RBAC 类型理论 面向对象方法 基于事例的推理 软件体系结构 反模式 主动连接件 查询系统 冲突检测 重构 程序综合 设计模式 策略冲突 软件演化 框架 角色模型 组件 语义网 授权规则 软件重用 软件体系结构描述语言 自动程序设计

吉林大学计算机科学系 吉林大学计算机科学与技术学院符号计算与知... 吉林长春 吉林大学计算机科学与技术学院