李迎豪 刘静 甘小平 占学德 刘玲 文志诚 陈怡海 张忠能 朱关铭 李勇 钱忠胜 苗巍山 许庆国 吴茂康 李莉 何积丰 袁捷 王齐 郭慧梅 张晓莺 李晓博 高晓雷 陈丹 刘振通 曾红卫 费立志 童翠玲 刘辉 羊冬昭 孙军梅

Petri网 COMDCOM 文字 等价关系 约简 约束消息覆盖准则 验证 形式化 UTP C 形式规格说明 XMLSchemaDTD 条件 接口 非单调推理 翻译器 包含关系 时间自动机 Z规格说明语言 规格说明语言Z Object-Z 优先排序 连接法 代码味道 模型检验 ASP 组件和组件交互 自动定理证明 方法 Web服务

上海大学计算机科学系 上海大学计算机学院 上海大学计算机科学与工程学院 上海大学计算机工程与科学学院 华东师范大学软件学院 东莞理工学院软件学院 上海交通大学计算机科学与工程系 杭州师范学院信息工程学院