| 一个支持规约获取的形式规约语言 |
| 其他题名 | a formal specification language supporting specification acquisition
|
| 陈海明; 董韫美
|
| 2002
|
| 发表期刊 | 计算机学报
 |
| 卷号 | 25期号:5页码:459-466 |
| 摘要 | 该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色形式。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。 |
| 收录类别 | cscd,ei
|
| 关键词 | 形式规约语言
上下文无关语言
递归函数
|
| 部门归属 | 计算机科学国家重点实验室
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/2865
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
陈海明,董韫美. 一个支持规约获取的形式规约语言[J]. 计算机学报,2002,25(5):459-466.
|
| APA |
陈海明,&董韫美.(2002).一个支持规约获取的形式规约语言.计算机学报,25(5),459-466.
|
| MLA |
陈海明,et al."一个支持规约获取的形式规约语言".计算机学报 25.5(2002):459-466.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论