周学海 文栋辉 赵振西 龚育昌 李曦

软件构件 数据管理系统 链服务 模式约束图 软件生产线 图形代数 应用领域 语义约束 软件复用 关系完备性 数据库模式 语义网络 超媒体系统 软件工程 可信软件 开放式超媒体系统

合肥安徽 中国科学技术大学计算机科学与技术系 上海万达信息股份有限公司