您的位置： 专家智库 > >

高晓雷

作品数：15 被引量：45H指数：3
供职机构：东莞理工学院计算机学院更多>>
发文基金：国家自然科学基金广东省科技攻关计划广东省自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 4篇学位论文
  • 2篇会议论文

领域

  • 13篇自动化与计算...
  • 1篇理学

主题

  • 6篇软件开发
  • 4篇面向对象
  • 3篇软件开发方法
  • 3篇面向对象方法
  • 3篇开发方法
  • 3篇Z规格说明
  • 3篇Z
  • 2篇定理
  • 2篇定理证明
  • 2篇遗传算法
  • 2篇软件工程
  • 2篇软件自动化
  • 2篇自动化
  • 2篇规格说明语言
  • 2篇TABLEA...
  • 2篇Z语言
  • 1篇多项式
  • 1篇多项式光滑
  • 1篇形式语言
  • 1篇正解

机构

  • 13篇上海大学
  • 4篇东莞理工学院

作者

  • 15篇高晓雷
  • 8篇缪淮扣
  • 1篇杨光
  • 1篇李广明
  • 1篇熊金志
  • 1篇李刚
  • 1篇牛熠
  • 1篇陈怡海
  • 1篇曹晓夏
  • 1篇李勇
  • 1篇赵梅

传媒

  • 3篇计算机工程
  • 2篇计算机科学
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇应用科学学报
  • 1篇东莞理工学院...
  • 1篇2003''...
  • 1篇2003中国...

年份

  • 1篇2009
  • 1篇2007
  • 1篇2006
  • 1篇2005
  • 5篇2003
  • 1篇2002
  • 3篇1999
  • 1篇1998
  • 1篇1900
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于Tableau方法的Z规格说明求精
基于Tableau方法的z规格说明求精以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从证明中可抽取出一个满足该程序规格说明的程序.本文引进合并规则扩充Tableau方法的演绎...
高晓雷缪淮扣
关键词：定理证明TABLEAU方法Z语言软件工程
文献传递
结构化方法+面对对象方法+Z的软件开发方法及其支持语言SOZL
高晓雷
可视化的SOZL编辑器的设计与实现被引量：3
2002年
1.引言 从60年代"软件危机"出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法.这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法.在过去的三十多年中,人们在结构化方法和面向对象方法的研究及其应用上做了大量的工作.
高晓雷缪淮扣陈怡海
关键词：面向对象软件开发可视化
关于Z规格说明语言中模式的剖析被引量：1
1998年
1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目前比较流行的一种形式规格说明语言。
高晓雷缪淮扣
关键词：规格说明语言形式语言Z语言
结构化方法+面向对象方法+Z的软件开发方法及其支持语言SOZL
高晓雷
关键词：面向对象
基于C++模板的Z规格说明的数据类型的实现被引量：2
2006年
主要介绍了用C++类模板实现Z规格说明语言中的类型,包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精,从而提高软件开发的效率。
高晓雷缪淮扣李勇
关键词：C++模板数据类型
MFC文档编辑器中多级Undo与Redo的通用实现被引量：8
2003年
介绍了一种在MFC VC开发中实现多级撤消和重做的一种通用技术,并提供了具体的编程步骤。这种技术实现简单，通用性好,可应用于文档和图形编辑器的实现中。
赵梅高晓雷
关键词：VC++6.0MFC文档编辑器UNDO/REDO
一种将遗传算法应用于谓词求精的方法被引量：3
2003年
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.
曹晓夏缪淮扣高晓雷
关键词：软件工程软件开发软件自动化遗传算法规则库
一阶多项式光滑的支持向量分类机的一般模型被引量：7
2007年
研究了在一个包含原点的一般区间导出了一类光滑正号函数的一阶函数,还研究了用此类函数对支持向量机作光滑处理的问题,提出了一阶多项式光滑的支持向量机的一般模型1SSVM(1st—order Smooth Support Vector Machine)。理论分析表明,文献[2]中所用的一阶光滑函数是此类函数的一个特例,其提出的一阶光滑的支持向量机也是模型1SSVM的一个特例,从而在理论上解决了一阶多项式光滑的支持向量机的一般模型问题。
熊金志李广明高晓雷牛熠
关键词：支持向量机数据挖掘
基于Tableau的程序综合方法的完全正确性证明
基于Tableau方法的程序综合方法以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从证明中可抽取出一个满足该程序规格说明的程序.本文证明了通过程序综合方法构造得到的程序是完全...
高晓雷缪淮扣
关键词：定理证明TABLEAU方法软件自动化
文献传递
全选 清除 导出
共2页<12>
聚类工具0