University of Glasgow;
domain specific language; meta-case tools; programming by example;
机译:通过工具支持的约束规范:受控实验
机译:基于Web的合成生物学系统基于约束的设计规范的软件工具
机译:语义约束规范和ebXML业务流程规范的验证
机译:按示例在元箱工具中的约束规范
机译:商业软件组件的使用约束的规范和实施。
机译:染色质重塑蛋白CHD4限制基因表达有助于谱系规范
机译:在meta-CasE工具中通过示例的约束规范