搜索到 篇“ XYZ/E “的相关文章

相关作者

张广泉
作品数：234被引量：712H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
唐稚松
作品数：34被引量：253H指数：10
供职机构：中国科学院
研究主题：时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
戎玫
作品数：82被引量：235H指数：9
供职机构：苏州大学
研究主题：WEB服务组合 软件体系结构 UML XYZ/ADL CPS
朱雪阳
作品数：26被引量：212H指数：6
供职机构：中国科学院软件研究所
研究主题：XYZ/ADL 软件体系结构 XYZ/E 时序逻辑 合约
黄正宝
作品数：16被引量：65H指数：5
供职机构：无锡商业职业技术学院
研究主题：形式化语义 XYZ/E 时序逻辑 UML_2.0 UML2.0