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/11504]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。