GUBS(胶) swMATH ID: 27585 软件作者: 阿德里安·巴索·布兰丁;Frank Delaplace公司 描述: GUBS是合成生物学中基于行为的设计语言。在本文中,我们提出了一种领域特定语言GUBS(Genomic Unified Behavior Specification),专门用于将合成生物器件视为离散开放动态系统的行为规范。GUBS是一种基于规则的声明语言。与封闭系统相比,程序总是对系统行为的部分描述。该语言的语义说明了一些隐藏的非指定动作的存在,这些动作可能会改变编程设备的行为。编译框架遵循类似于自动定理证明的方案,旨在提高合成生物设计的安全性。 主页: https://arxiv.org/abs/1206.6098 关键词: 合成生物学;计算机辅助设计;汇编 相关软件: 引用于: 2文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 合成生物学语言:规范和编译。 Zbl 1448.92006号阿德里安·巴索·布兰丁;Frank Delaplace公司 2014 GUBS是合成生物学中基于行为的设计语言。 Zbl 1424.68090号阿德里安·巴索·布兰丁;弗兰克·德拉Place 2013 2位作者引用 2 阿德里安·巴索·布兰丁 2 Frank Delaplace公司 连载1篇 1 计算机科学科学年鉴 在2个字段中引用 2 生物学和其他自然科学(92-XX) 1 计算机科学(68至XX) 按年份列出的引文