形式规约语言

作品数：5被引量：10H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈海明董韫美杨杰郑明春张强更多>>
相关机构：中国科学院软件研究所山东师范大学内江师范学院中国科学院研究生院更多>>
相关期刊：《计算机工程与应用》《山东师范大学学报（自然科学版）》《软件学报》《计算机学报》更多>>
相关基金：国家自然科学基金“九五”国家科技攻关计划山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
浅析形式化描述方法的应用被引量：1
《电子技术与软件工程》2014年第10期107-108,共2页冯松军 
形式化方法是一种使用严格的数学模型和方法准确、抽象、规范地描述和验证软件系统的行为和性能的方法,其中主要包括软件的需求规格、设计和实现等。使用这种描述方法可以帮助开发者发现软件系统的设计、实现和程序中的问题和缺陷,能够...
关键词：软件工程 形式化描述 形式规约语言 Z语言 
一个支持规约获取的形式规约语言被引量：7
《计算机学报》2002年第5期459-466,共8页陈海明 董韫美 
国家自然科学基金 (69873 0 42 ;60 10 3 0 0 8);国家"九五"科技攻关计划(98-780 -0 1-0 7-0 2 )资助
该文介绍了形式规约语言 L FC设计的一些主要方面 ,并通过例子说明了 L FC的一些特色 .形式规约语言L FC是为支持软件形式规约的获取工作而开发的 .该语言以一种新的递归函数 ,即定义在上下文无关语言上的递归函数为基础 ,以上下文无关...
关键词：规约获取 形式规约语言 上下文无关语言 递归函数 计算机 
简单模式的一种匹配方法被引量：1
《计算机工程与应用》2001年第17期63-66,163,共5页张强 陈海明 
国家自然科学基金(编号:69873042);国家"九五"攻关计划(编号:96-729-06-02)的资助
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树...
关键词：函数式语言 模式匹配 简单模式 LFC语言 形式规约语言 
形式规约语言中函数运算的优化被引量：1
《软件学报》2000年第8期1003-1008,共6页张荣华 董韫美 
国家自然科学基金! (No.6 98730 42 );国家"九五"重点科技攻关项目基金! (No.96 - 72 9- 0 6 - 0 2 )资助
在运行时刻 ,由于某些函数参数的取值会造成一些函数被重复调用 ,这在编译时刻是无法被传统的优化器发现的 .针对这种情况 ,提出一种运行时刻的优化方法 .它通过调用依赖图来消除被重复调用的函数 .
关键词：形式规约语言 函数运算 优化 
形式化方法和对象技术的结合途径研究被引量：1
《山东师范大学学报（自然科学版）》2000年第2期138-142,共5页杨杰 郑明春 
山东省自然科学基金资助项目
形式化软件开发方法被认为是开发可靠的与高质量软件的一个良好途径 .本文首先给出形式化方法概述 ,并介绍两种分别代表面向模型和面向性质的形式规约语言Z和Larch .然后 ,重点讨论形式化方法与面向对象技术的结合 .
关键词：形式化方法 软件开发 形式规约语言 面向对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部