facilitating formal specification acquisition by using recursive functions on context-free languages
文献类型：期刊论文
| 作者 | Chen Haiming ; Yunmei Dong |
| 刊名 | Knowledge-Based Systems
 |
| 出版日期 | 2006 |
| 卷号 | 19期号:2页码:141-151 |
| 关键词 | Formal specification language Context-free language Recursive function Specification acquisition Specification validation |
| 中文摘要 | 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 |
| 语种 | 英语 |
| WOS记录号 | WOS:000238476500005 |
| 公开日期 | 2010-07-22 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。