Institutional Repository
| facilitating formal specification acquisition by using recursive functions on context-free languages | |
| Chen HM; Dong YM | |
| 2004 | |
| Conference Name | 3rd International Conference on Software Methodology Tools and Techniques (SoMeT-04) |
| Pages | 213-227 |
| Conference Date | SEP 28-30, |
| Conference Place | Leipzig, GERMANY |
| Indexed Type | istp |
| Publish Place | NIEUWE HEMWEG 6B, 1013 BG AMSTERDAM, NETHERLANDS |
| Publisher | NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES |
| ISSN | 0922-6389 |
| ISBN | 1-58603-455-3 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| English Abstract | Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal software specification language LFC, which is designed to facilitate |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13022 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Chen HM,Dong YM. facilitating formal specification acquisition by using recursive functions on context-free languages[C]. NIEUWE HEMWEG 6B, 1013 BG AMSTERDAM, NETHERLANDS:NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES,2004:213-227. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| paper.229.pdf（207KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment