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

ISCAS OpenIR

	facilitating formal specification acquisition by using recursive functions on context-free languages
	Chen HM; Dong YM
	2004
会议名称	3rd International Conference on Software Methodology Tools and Techniques (SoMeT-04)
页码	213-227
会议日期	SEP 28-30,
会议地点	Leipzig, GERMANY
收录类别	istp
出版地	NIEUWE HEMWEG 6B, 1013 BG AMSTERDAM, NETHERLANDS
出版者	NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES
ISSN	0922-6389
ISBN	1-58603-455-3
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	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
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13022
专题	中国科学院软件研究所
推荐引用方式 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.