-
郑建丹
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 张广泉
![](/images/user-pic.gif)
- 作品数:234被引量:712H指数:14
- 供职机构:苏州大学计算机科学与技术学院
- 研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
- 骆华俊
![](/images/user-pic.gif)
- 作品数:4被引量:61H指数:2
- 供职机构:中国科学院软件研究所
- 研究主题:XYZ/ADL 结构描述语言 时序逻辑语言 时态逻辑 体系结构描述语言
- 朱雪阳
![](/images/user-pic.gif)
- 作品数:26被引量:219H指数:6
- 供职机构:中国科学院软件研究所
- 研究主题:XYZ/ADL 软件体系结构 XYZ/E 时序逻辑 合约
- 李浩
![](/images/user-pic.gif)
- 作品数:4被引量:1H指数:1
- 供职机构:中国科学院软件研究所
- 研究主题:分布式 用户主导 ISO9001 CMM 管理模型
- 舒明
![](/images/user-pic.gif)
- 作品数:1被引量:3H指数:1
- 供职机构:中国科学院软件研究所
- 研究主题:程序语义 XYZ/E 连接件 组件 软件体系结构