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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论