Rewriting logic的意思|示意

美 / / 英 / /

重写逻辑

Rewriting logic的网络常见释义

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

Rewriting logic相关例句

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

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

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.

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

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应用程序中，而无需以另一种语言重写函数逻辑。