您的位置： 专家智库 > >

苗留洋

作品数：3 被引量：0H指数：0
供职机构：郑州大学信息工程学院更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇会议论文
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 3篇学习算法
  • 2篇标号
  • 2篇标号迁移系统
  • 1篇软件开发

机构

  • 3篇郑州大学

作者

  • 3篇苗留洋
  • 2篇周清雷
  • 2篇赵东明

年份

  • 2篇2011
  • 1篇2010
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于L*学习算法的假设—保证推理
假设—保证推理使得对一个大型系统的验证可以采用"分而治之"的方法,通过使用关于每个组件环境的假设可以单独地验证系统的每个组件。一直以来产生一个合适的假设是个困难的人工的过程。为了解决这一难题,提出了一个框架可以用来执行对...
苗留洋赵东明周清雷
关键词：标号迁移系统
文献传递
基于L*学习算法和假定-保证规则的组合验证
软件复用是在软件开发中避免重复劳动的解决方案。通过软件复用,可以提高软件开发的效率和质量。依据复用的对象,可以将软件复用分为产品复用和过程复用。其中,基于构件的复用是产品复用的主要形式,也是当前复用研究的焦点。给定一个基...
苗留洋
关键词：软件开发
基于L*学习算法的假设—保证推理
假设—保证推理使得对一个大型系统的验证可以采用"分而治之"的方法,通过使用关于每个组件环境的假设可以单独地验证系统的每个组件。一直以来产生一个合适的假设是个困难的人工的过程。为了解决这一难题,提出了一个框架可以用来执行对...
苗留洋赵东明周清雷
关键词：标号迁移系统
全选 清除 导出
共1页<1>
聚类工具0