位置：立项数据库 > 立项详情页
　模型驱动式高可信软件开发技术
  • 项目名称：　模型驱动式高可信软件开发技术
  • 批准号：2006AA01Z165
  • 项目来源：“十一五”国家高技术研究发展计划（863计划）信息技术领域2006年度专题课题
  • 研究期限：2006-11-
  • 项目负责人：刘静
  • 依托单位：华东师范大学
  • 批准年度：2006
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 4
  • 0
  • 0
  • 0
  • 0
期刊论文
基于微分方程的程序性能分析
基于常微分方程的城市交通网络分析
基于Petri网的软件测试用例的产生及分析
基于控制流的形式化程序测试
刘静的项目
时空统一建模、精化和验证方法研究
基于MARTE的实时系统模型驱动架构关键问题研究
期刊论文 11 会议论文 24
模型驱动架构中模型构造与集成方法的研究
期刊论文 9 会议论文 17 专利 2
模型驱动式 UML/MARTE 模型形式验证方法
模型驱动式可信软件构造方法的研究
期刊论文 9 会议论文 17