Institutional Repository
| 一个支持规约获取的形式规约语言 | |
| 其他题名 | 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. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| 20022505459.pdf(315KB) | 开放获取 | -- | 请求全文 | |||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [陈海明]的文章 |
| [董韫美]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [陈海明]的文章 |
| [董韫美]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [陈海明]的文章 |
| [董韫美]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论