刘剑云
作品数: 1被引量:2H指数:1
  • 所属机构:无锡商业职业技术学院信息工程系
  • 所在地区:江苏省 无锡市
  • 研究方向:自动化与计算机技术
  • 发文基金:重庆市教育委员会科学技术研究项目

相关作者

黄正宝
作品数:16被引量:66H指数:5
供职机构:无锡商业职业技术学院
研究主题:形式化语义 XYZ/E 时序逻辑 UML_2.0 UML2.0
张广泉
作品数:234被引量:713H指数:14
供职机构:苏州大学计算机科学与技术学院
研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法