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 HM ; Dong YM
刊名	KNOWLEDGE-BASED SYSTEMS
	2006
卷号	19 期号:2 页码:141-151
关键词	绵羊胚胎成纤维细胞formal specification language context-free language recursive function specification acquisition specification validation
ISSN号	0950-7051
中文摘要	用组织块法对绵羊胚胎成纤维细胞进行原代和传代培养,探讨绵羊胚胎成纤维细胞适宜的培养模式。成功获得较均一稳定的细胞群体,并成功地对细胞进行了冷冻保存和复苏。对于进行大规模的动物细胞培养具有重要的指导意义。
学科主题	Computer Science ; Artificial Intelligence
收录类别	SCI ; EI
公开日期	2011-07-13
附注	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 acqu
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/11506]
专题	软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式 GB/T 7714	Chen HM,Dong YM. facilitating formal specification acquisition by using recursive functions on context-free languages[J]. KNOWLEDGE-BASED SYSTEMS,2006,19(2):141-151.
APA	Chen HM,&Dong YM.(2006).facilitating formal specification acquisition by using recursive functions on context-free languages.KNOWLEDGE-BASED SYSTEMS,19(2),141-151.
MLA	Chen HM,et al."facilitating formal specification acquisition by using recursive functions on context-free languages".KNOWLEDGE-BASED SYSTEMS 19.2(2006):141-151.