一个支持规约获取的形式规约语言
文献类型：期刊论文
| 作者 | 陈海明 ; 董韫美 |
| 刊名 | 计算机学报
 |
| 出版日期 | 2002 |
| 卷号 | 25期号:5页码:459-466 |
| 关键词 | 形式规约语言 上下文无关语言 递归函数 |
| 其他题名 | a formal specification language supporting specification acquisition |
| 中文摘要 | 该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色形式。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。 |
| 收录类别 | cscd,ei |
| 语种 | 中文 |
| 公开日期 | 2010-07-22 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。