郑建丹
作品数: 8被引量:82H指数:4
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

张广泉
作品数:231被引量:710H指数:14
供职机构:苏州大学计算机科学与技术学院
研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
骆华俊
作品数:4被引量:61H指数:2
供职机构:中国科学院软件研究所
研究主题:XYZ/ADL 结构描述语言 时序逻辑语言 时态逻辑 体系结构描述语言
朱雪阳
作品数:26被引量:203H指数:6
供职机构:中国科学院软件研究所
研究主题:XYZ/ADL 软件体系结构 XYZ/E 时序逻辑 合约
李浩
作品数:4被引量:1H指数:1
供职机构:中国科学院软件研究所
研究主题:分布式 用户主导 ISO9001 CMM 管理模型
舒明
作品数:1被引量:3H指数:1
供职机构:中国科学院软件研究所
研究主题:程序语义 XYZ/E 连接件 组件 软件体系结构