中英▼
go top

rewriting logic

  • 重写逻辑

网络释义专业释义

  重写逻辑

11],实时Maude是一种基于重写逻辑(rewriting logic)的实时系统建模语言,在转换方面,研究子集和转换规则主要采用自然语言进行描述.

基于40个网页-相关网页

  • 重写逻辑 - 引用次数：4

    参考来源 - 基于重写逻辑的Web服务事务处理形式化描述 in C

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.

    该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定