戴晔 周航 郭亮 张冬华 杨敬中 王辉 黄正宝 祝义 陈冬火 朱雪阳 何亚丽 张玲红 舒明 吴国伟 刘剑云 张育 唐稚松 章晓芳 王昇 沈一栋 骆华俊 郑建丹 刘艳 顾春霞 曹进明 罗浩 黄志球 张峻 左春华 林苗

UML顺序图 体系结构风格 程序等价 体系结构 时间通信顺序进程 非结构化 体系结构描述语言 对称式面向方面软件体系结构（SAOSA） 特征自动机 连接件 浏览器服务器 体系结构描述工具 形式化方法 模型检验算法 Petri网 C-PDL 特征点有效率 活动 时序逻辑 演绎证明 测试用例 软件体系结构 线性时序逻辑 验证 串空间 实时系统 事件 SOMAL方法 图书管理系统 密码协议

中国科学院计算机科学国家重点实验室 中国科学院软件所计算机科学开放研究实验室 中国科学院软件研究所 中国科学院计算机科学开放研究实验室 中国科学院软件研究所计算机科学重点实验室 400047中国科学院软件所计算机科学开... 中国科学院软件所计算机科学重点实验室 中国科学院软件研究所计算机科学开放实验室