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

  • In addition, as new REST and MVC frameworks become available in the future, it is easier to implement them without rewriting the business logic layer.

    此外由于将来可以使用新的RESTmvc框架实现它们变得更加容易,无需重写业务逻辑层。

    youdao

  • In this article you have seen how to integrate MATLAB functions into Streams applications, without rewriting the function logic in a different language.

    本文介绍如何matlab函数集成Streams应用程序中,而无需种语言重写函数逻辑

    youdao

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

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

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