dynamic semantics的例句大全

UML Sequence Diagram emphasizes particularly the process of message interaction of objects. But it lacks formal description of dynamic semantics, therefore goes against comprehension of the diagram and test case generation based on the diagram.

UML顺序图侧重于展示对象之间的消息交互过程，但其动态语义缺乏形式化的描述，不利于对顺序图模型的准确理解和基于该模型的测试用例生成。

the most important property defined by an sdl specification is the behavior of the system, and a dynamic semantics model describes the behavior using meta-processes.

系统最重要的属性是行为，动态语义模型用元进程描述系统可观察的行为。

An Investigation into the Nature of Dynamic Semantics from the Perspectives of Verbs of Vision

从几个视觉动词看动态语义学的实质

This paper will firstly build an abstract description model for dynamic semantics detection of software components;

为解决这一问题，该文首先构造一个能够用于软部件动态语义检测的抽象描述模型；

As a standard object-oriented modeling language, UKL ( unified modeling language) is lack of formal dynamic semantics.

面向对象标准建模语言UML（Unified MOdeling Language）缺乏精确的动态语义。

Approach to define the dynamic semantics of SDL-2000

SDL-2000动态语义定义方法

A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ

一种反应式SPM及其动态语义XYZ表示

This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis.

这为模型提供了明确的动态语义，为其运作和分析提供了形式化基础。

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

工作流过程图形建模及基于自动机的动态语义

Spatial relationships of individual semantic category is divided into a static spatial relationship semantic category, the dynamic semantics of spatial relations category.

个别空间关系语义范畴分为静态空间关系语义范畴、动态空间关系语义范畴。

Then, research the dynamic combination of the service release layer in the five-story architecture, on the basis of summing up the results of previous, to improve the efficiency of the dynamic combination, proposed a dynamic combinatorial algorithm based on semantics.

然后，对五层体系结构中服务发布层中的动态组合进行了研究，在总结前人研究成果的基础上，为提高动态组合的效率，设计了一种基于语义的动态组合算法。

Dynamic Graph Watermark ( DGW) is one of the best dynamic software watermarks. The idea of DGW is encoding the watermark into topology graph in order to be immune to semantics preserving attack.

动态图软件水印技术是目前最好的动态软件水印技术之一，核心思想是将水印信息编码成拓扑图结构，从而使对拓扑图进行变换的保持语义攻击难以实现。

an approach to dynamic program slicing based on modular monadic semantics

一种基于模块单子语义的动态程序切片方法

On Program Semantics of Dynamic Data Structures

论动态数据结构的程序语义

Nevertheless, the dynamic linker accepts the semicolon notation, with the semantics described above.

不过, 动态连接器接受分号符号, 语意如上面描述.

Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

Research on Medium-granularity Dynamic Update with Semantics Considered Grain size problem;

语义相关的中粒度动态更新技术研究2，粒度控制；