位置：立项数据库 > 立项详情页
结构化和面向对象的软件形式方法研究
  • 项目名称：结构化和面向对象的软件形式方法研究
  • 项目类别：面上项目
  • 批准号：69773038
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：缪淮扣
  • 依托单位：上海大学
  • 批准年度：1997
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 1
  • 0
  • 0
  • 0
  • 0
期刊论文
An Analysis of Two Formal Methods: RSL and Z
缪淮扣

先后主持完成了多项国家自然科学基金项目和国家高技术研究发展计划（863计划）、近20项上海市级科研项目和企业项目；参加国家973课题2个。

缪淮扣的项目
基于软件形式规格说明的软件测试自动化方法研究
期刊论文 2
基于规格说明的Web应用测试方法研究
期刊论文 39 会议论文 32
可信网络软件的形式验证
期刊论文 32 会议论文 22 专利 1 著作 1
第四届形式工程方法国际学术会议（ICFEM’2002）
基于概率模型检验的Web服务动态自适应配置
期刊论文 2
第八届IEEE/ACIS 计算机和信息科学国际学术会议(ICIS 2009)
基于模型的测试用例优化生成与自动执行
期刊论文 17 会议论文 31 著作 3
第6届形式工程方法国际学术会议
　第11届ACIS软件工程、人工智能、网络与并行/分布式计算国际会议
期刊论文 5
面向对象软件规格说明的形式化验证与确认
期刊论文 36 会议论文 17 著作 4
第八届亚太软件工程会议