位置：立项数据库 > 立项详情页
模型驱动式 UML/MARTE 模型形式验证方法
  • 项目名称：模型驱动式 UML/MARTE 模型形式验证方法
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：61011130215
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：刘静
  • 依托单位：华东师范大学
  • 批准年度：2010
刘静的项目
　模型驱动式高可信软件开发技术
期刊论文 4
时空统一建模、精化和验证方法研究
模型驱动式可信软件构造方法的研究
期刊论文 9 会议论文 17
基于MARTE的实时系统模型驱动架构关键问题研究
期刊论文 11 会议论文 24
模型驱动架构中模型构造与集成方法的研究
期刊论文 9 会议论文 17 专利 2