1.
Formal Semantics of Architecture Model of Collaborative Systems
协同系统体系结构模型的形式化语义
2.
Formal Semantics of Component-Based Architecture Model Mapping
构件式体系结构模型映射的形式化语义
3.
A Formal Semantic Study of the Work Flow Based on Activity Graph Model;
基于活动图模型的工作流形式化语义研究
4.
Formal Semantic Analysis of Quantifier Scope Ambiguity in English;
英语量化词辖域歧义的形式语义分析
5.
The phonological forms and implicature of morphological changes in English and Chinese;
英汉语言形态变化的语音形式及意义
6.
Semantic and Syntactic Attributes in Formalizing Verb Subcategorization;
动词次范畴化形式描写的语义与句法
7.
Semantics Based Formal Model for Security Protocols
一种基于语义的安全协议形式化模型
8.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G（?）del的形式化过程性语义
9.
Exploration on Semantic Formalization from a Computational Linguistic Perspective
以计算语言学为视角浅谈对语义形式化的探索
10.
The Characteristics of Semantic Change of the Overlapped Adjective and Its Assimilative Function;
形容词重叠式的语义变化特点及类化作用
11.
semantic prototype model
语义原形模式 语意原形模式
12.
Cultural and Pragmatic Study on the Disagreement of Form and Meaning in English and Chinese;
英汉形式与意义不一致的文化语用研究
13.
"Focus on Form" or "Focus on Forms"?
“以语言形式为纲”还是“语言形义兼顾”
14.
A Survery of the Study of Chinese Grammatical Form and Gra mmatical Meaning
汉语语法形式和语法意义的研究述评
15.
It should be completely described via the publication of a formal syntax and semantics.
通过的发表形式化的语法和语义，它应当得到完全的描述。
16.
LOTOS is a powerful tool to describe concurrent operations,whose composition,operation semantic and precepts are introduced.
介绍了形式化描述语言LOTOS的组成、操作语义和规则;
17.
The Influence of Chinese & English Cultural Differences on Language Form & Word Meaning;
论中英文化差异对汉英语言形式及语词含义的影响
18.
Formal and semantic categorizations:A review of The Language of Evaluation:Appraisal in English;
形式与意义的范畴化——兼评《评价语言——英语的评价系统》