Institutional Repository
| facilitating formal specification acquisition by using recursive functions on context-free languages | |
| Chen Haiming; Yunmei Dong | |
| 2006 | |
| Source | Knowledge-Based Systems
 |
| Volume | 19Issue:2Pages:141-151 |
| English Abstract | 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. |
| Indexed Type | ei |
| Keyword | Formal Specification Language Context-free Language Recursive Function Specification Acquisition Specification Validation |
| Department | 计算机科学国家重点实验室 |
| Language | 英语 |
| WOS ID | WOS:000238476500005 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/2859 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 20061902141.pdf（303KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment