机译:元建模实时序列图以生成代码
Department of Computer Engineering, Middle East Technical University, 06531 Ankara, Turkey;
Department of Computer Engineering, Middle East Technical University, 06531 Ankara, Turkey;
Department of Computer Engineering, Middle East Technical University, 06531 Ankara, Turkey;
metamodeling; code generation; message sequence charts; live sequence charts;
机译:具有Cre-LoxP可激活编码序列的鼠类白血病病毒,可实现超级感染,转基因传递和宿主基因组缺失的产生
机译:医疗设备的元建模:代码生成,模型调试和运行时同步
机译:普遍遗传代码的灰色代码表示:使用Toeplitz矩阵方法产生从未出生的蛋白序列
机译:基于实时序列图的Web软件的可执行模型和测试
机译:使用实时序列图规范进行系统的形式验证
机译:具有Cre-LoxP可激活编码序列的鼠类白血病病毒可实现超级感染转基因传递和宿主基因组缺失的产生
机译:从实时序列图到实现:对LSC规范的研究,行为要求的执行以及探索使用LSC模型生成Java代码的可能性
机译:用声表面波技术同步和生成编码序列。