ISCAS OpenIR  > 基础软件与系统重点实验室
一个支持规约获取的形式规约语言
Alternative Titlea formal specification language supporting specification acquisition
陈海明; 董韫美
2002
Source计算机学报
Volume25Issue:5Pages:459-466
English Abstract该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色形式。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数,即定义在上下文无关语言上的递归函数为基础,以上下文无关语言为数据类型,在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明,LFC是一个能力强、易使用的语言,适合软件形式规约获取之用,并且适合其它一些用途。
Indexed Typecscd,ei
Keyword形式规约语言 上下文无关语言 递归函数
Department计算机科学国家重点实验室
Language中文
Content Type期刊论文
URIhttp://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
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[陈海明]'s Articles
[董韫美]'s Articles
Baidu academic
Similar articles in Baidu academic
[陈海明]'s Articles
[董韫美]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[陈海明]'s Articles
[董韫美]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.