facilitating formal specification acquisition by using recursive functions on context-free languages

	facilitating formal specification acquisition by using recursive functions on context-free languages
	Chen Haiming; Yunmei Dong
	2006
发表期刊	Knowledge-Based Systems
卷号	19 期号:2 页码:141-151
摘要	Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.
收录类别	ei
关键词	Formal Specification Language Context-free Language Recursive Function Specification Acquisition Specification Validation
部门归属	计算机科学国家重点实验室
语种	英语
WOS记录号	WOS:000238476500005
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/2859
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Chen Haiming,Yunmei Dong. facilitating formal specification acquisition by using recursive functions on context-free languages[J]. Knowledge-Based Systems,2006,19(2):141-151.
APA	Chen Haiming,&Yunmei Dong.(2006).facilitating formal specification acquisition by using recursive functions on context-free languages.Knowledge-Based Systems,19(2),141-151.
MLA	Chen Haiming,et al."facilitating formal specification acquisition by using recursive functions on context-free languages".Knowledge-Based Systems 19.2(2006):141-151.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
20061902141.pdf（303KB）			开放获取	--	请求全文