Institutional Repository
| 一个支持规约获取的形式规约语言 | |
| Alternative Title | a formal specification language supporting specification acquisition |
| 陈海明; 董韫美 | |
| 2002 | |
| Source | 计算机学报
 |
| Volume | 25Issue:5Pages:459-466 |
| English Abstract | 该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色形式。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。 |
| Indexed Type | cscd,ei |
| Keyword | 形式规约语言 上下文无关语言 递归函数 |
| Department | 计算机科学国家重点实验室 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/2865 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 陈海明,董韫美. 一个支持规约获取的形式规约语言[J]. 计算机学报,2002,25(5):459-466. |
| APA | 陈海明,&董韫美.(2002).一个支持规约获取的形式规约语言.计算机学报,25(5),459-466. |
| MLA | 陈海明,et al."一个支持规约获取的形式规约语言".计算机学报 25.5(2002):459-466. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 20022505459.pdf（315KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment