位置：立项数据库 > 立项详情页
第四届形式工程方法国际学术会议（ICFEM’2002）
  • 项目名称：第四届形式工程方法国际学术会议（ICFEM’2002）
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：60210306221
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：缪淮扣
  • 依托单位：上海大学
  • 批准年度：2002
缪淮扣

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

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