齐璇 胡旷 田勇 陶洁 董广智 梁赓 陆莉祯 尹晓强

验证工具 工作流 反应式控制 网上博物馆 软件过程模型 动态数据交换 数字博物馆 动态语义

唐山工人医院 中科院软件所 中国科学院软件所 中国科学院软件研究所 中国科学院软件研究所人机交互技术与智能信...