高晓雷

作品数：9被引量：26H指数：3
导出分析报告
供职机构：东莞理工学院计算机学院更多>>
发文主题：面向对象软件开发面向对象方法Z规格说明软件开发方法更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《计算机工程与应用》《计算机工程》《应用科学学报》《计算机工程与科学》更多>>
所获基金：国家自然科学基金广东省科技攻关计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
空间完备性理论及其测试
《计算机工程》2009年第9期72-73,76,共3页高晓雷 缪淮扣 
广东省自然科学基金资助项目"基于Z规格说明的软件测试自动化方法研究"(06301204)
证明和测试是验证规格说明是否正确的2种方法,两者互为补充。针对软件规格说明难以证明的问题,提出对状态空间进行完备性测试的理论。采用构造函数和受限状态空间的概念,讨论用于测试Z规格说明语言初始状态存在性的方法,通过实例证明该...
关键词：Z规格说明 受限状态空间 初始状态 不变式 
一阶多项式光滑的支持向量分类机的一般模型被引量：5
《计算机工程与应用》2007年第10期76-78,共3页熊金志 李广明 高晓雷 牛熠 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60573029);广东省科技公关计划(the Key Tech-nologies R&D Program of Guangdong Province; China under Grant No.06301204)
研究了在一个包含原点的一般区间导出了一类光滑正号函数的一阶函数,还研究了用此类函数对支持向量机作光滑处理的问题,提出了一阶多项式光滑的支持向量机的一般模型1SSVM(1st—order Smooth Support Vector Machine)。理论分析表明,文...
关键词：分类 支持向量机 数据挖掘 光滑 
基于C++模板的Z规格说明的数据类型的实现被引量：1
《计算机工程》2006年第11期50-51,54,共3页高晓雷 缪淮扣 李勇 
国家自然科学基金资助项目(60173030)
主要介绍了用C++类模板实现Z规格说明语言中的类型,包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精,从而提高软件开发的效率。
关键词：C++模板 Z规格说明语言 数据类型 
数理逻辑中存在量词引入的必要性
《东莞理工学院学报》2005年第3期11-14,共4页高晓雷 杨光 
浅析了数理逻辑中存在性不能作为谓词的原因、背景,阐明存在量词引入的合理性和必要性, 指出存在量词的引入是技术上的改进,并未真正解决数学基础存在的固有问题-罗素悖论.
关键词：存在量词 数理逻辑 罗素悖论 数学基础 存在性 合理性 正解 
MFC文档编辑器中多级Undo与Redo的通用实现被引量：4
《计算机工程》2003年第17期95-96,共2页赵梅 高晓雷 
国家自然科学基金项目(60173030)
介绍了一种在MFC VC开发中实现多级撤消和重做的一种通用技术,并提供了具体的编程步骤。这种技术实现简单，通用性好,可应用于文档和图形编辑器的实现中。
关键词：VC++6.0 MFC 文档编辑器 CFile UNDO/REDO 
一种将遗传算法应用于谓词求精的方法被引量：2
《应用科学学报》2003年第3期289-295,共7页曹晓夏 缪淮扣 高晓雷 
国家自然科学基金资助项目(60173030)
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.
关键词：软件工程 软件求精 软件开发 软件自动化 谓词求精 遗传算法 程序综合 求精演算方法 规则库 
可视化的SOZL编辑器的设计与实现被引量：1
《计算机科学》2002年第7期136-139,共4页高晓雷 缪淮扣 陈怡海 
国家自然科学基金(60173030)
1.引言 从60年代"软件危机"出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法.这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法.在过去的三十多年中,人们在结构化方法和面向对象方法的研究...
关键词：面向对象 软件开发 可视化 SOZL编辑器 图形编辑环境 设计 
结构化方法、面向对象方法和形式方法的比较与结合被引量：13
《计算机工程与科学》1999年第4期27-31,共5页缪淮扣 高晓雷 李刚 
国家自然科学基金;上海市教委科技发展基金
结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较，讨论了它们的互相结合，并提出了将其结合在一起的集成方法的设想。
关键词：结构化方法 面向对象方法 形式方式 软件开发 
关于Z规格说明语言中模式的剖析
《计算机科学》1998年第6期24-27,共4页高晓雷 缪淮扣 
国家自然科学基金(编号:69773038);上海市教委科技发展基金(编号:97A42)
1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目...
关键词：规格说明语言 形式语言 Z语言 模式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部