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

1、

Approach to define the dynamic semantics of SDL-2000

SDL-2000动态语义定义方法

互联网摘选

2、

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

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

互联网摘选

3、

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

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

互联网摘选

4、

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

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

互联网摘选

5、

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

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

互联网摘选

6、

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

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

互联网摘选

7、

In this paper, general semantics are formalized into 3 primary principals and 10 accidental principals and extensional tools, which are then analyzed comprehensively. Critical thinking and meaningful practice are done on the basis of the formalized thoughts and with reference to life experience.

本文将通用语义理论概括为3个大原则和10个相关的从属原则和外延性工具进行了深入分析，并且把这些思想和社会生活实践相结合，给出了严谨地思考和有益地尝试。

互联网摘选

8、

Examining the proposals and methods of general semantics not only further its academic research but also have practical significances in understanding the world we live in.

探讨普遍语义学的主张及其方法，不仅可以深化对语义学的学术研究，而且对理解我们的生活世界也具有重要的实践意义。

互联网摘选

9、

This paper, mainly using metaphor theory in the cognitive linguistic, analyzes and sorts the general semantics of xia.

文章主要运用了认知语义学中的隐喻理论，对下的整体语义进行了分析与归类。

互联网摘选

10、

International Society for General Semantics

国际普通语意学学会

互联网摘选

11、

General Semantics: A Linguistic Study Mainly for Diagnosis and Treat

以诊疗为己任的语义学说：普通语义学

互联网摘选

12、

The general semantics is an important school in American Language philosophy, which aroused some comments, mainly negative, in China.

普通语义学是美国语言哲学领域中的一个重要派别，我国学术界对此也有一些粗浅的评介，但大都持否定的态度。

互联网摘选

13、

On General Semantics and the Theoretical Foundations

论普通语义学及其理论基础

互联网摘选

14、

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

互联网摘选

15、

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

互联网摘选

16、

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

互联网摘选

17、

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

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

互联网摘选

18、

On the basis of an improved semantic affinity based term clustering algorithm, a semantic-based clustering approach for concept generation is proposed. Domain concepts are generated through semantic affinity based term clustering while terms are extracted from term sets of heterogeneous knowledge sources.

改进了基于语义相似度的术语聚类算法，在此基础上提出了基于语义聚类的概念生成方法，其基本思想是由各知识源的术语集合，通过基于语义相似度的术语聚类，生成领域概念。

互联网摘选

19、

The compiler of EP consists internally of lexical scanner module, parser module, semantic analyzer, target code generator module, symbol table management module and error handle module.

编译器由词法分析、语法分析、语义分析、目标代码生成、符号表管理、错误处理六部分组成。

互联网摘选

20、

And Markup Language parser includes three parts: token, syntax and semantic analyzer.

标记性语言的解析包括：词法分析、语法分析、语义分析三个部分。

互联网摘选