UML顺序图是广泛使用的场景规约语言。
UML Sequence Diagram is widely used for specifying software scenario.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
将面向目标的规约语言（KAOS）进行扩展，增加了策略模型，建立支持面向多目标的基于动态策略的适应性需求规约方法。
The goal oriented specification language KAOS is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirement specification.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
语体受到非语言的外部因素规约，但是语体定位于内部语言特征。
Style receives the non-language external factor terms of an agreement, but it locates to the internal language characteristics.
在规约化程度处于中等即委婉语刚从言语事实变为语言事实的时候，委婉语的典型性表现得最充分。
When the acceptance degree of euphemism is medium, in other words, not so high and not so low, the prototypicality of such euphemisms is most obvious.
语用含糊现象是个体的认知推理与语言规约化共同作用的产物。
Therefore, pragmatic vagueness is a combination of the individual's cognitive inference and pragmatic conventionalization.
规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
法律语言作为一种规约性的语言分支，用词准确是其重要特点。
As a branch of protocol language, legal language is characterized by accuracy of choice of words.
尝试对大学校园交际中英汉语码转换的功能作出分析，指出英汉语码转换是对语言现实、社会规约以及心理动机的顺应。
This paper tries to analyze the function of Chinese-English code-switching on campus and points out that it is adaptive to linguistic reality, social conventions and mental motivation.
顺应原则从语言现实、社会规约和心理动机三个方面阐释了语码转换的原因；
The Principle accounts for the reasons of CS occurrence in terms of linguistic reality, social conventions, and psychological motivations.
目前，认知语言学理论面临的是如何科学地解决各种大量的显性和隐性的社会及心理规约问题。
The current challenge in cognitive linguistic theory is how to solve the large number of problems of explicit and intrinsic social and psychological conventions.
隐含否定的非规约性间接言语行为是表达层面上不具备否定的形式，但却具有否定内容的语言现象。
The non-conventional indirect speech act with implied negation is a linguistic phenomenon which has the negative meaning without negative structure.
本文从顺应论的角度，对广告语中的模糊语言进行了理论探讨，从诸多方面阐释了广告语中模糊用语对消费者心理规约的顺应。
This paper aims to conduct a theoretical analysis on the use of hedges in advertisement from the perspective of adaptation to the psychological motivations.
文中还设计了改进CDT通讯规约C语言编程的通讯软件。
Also, this paper do some work on designation on the communication software of improved CDT communication protocol scheme with Clanguage.
公式化语言是语言研究中的重要言语材料，它在话语交际中具有规约性和复现性的明显特征，在交际中具有压缩信息处理时间、维持社会交际和增进人际交往的功能。
Formulaic sequence holds an important part in natural language use, but the research of it has long been ignored because formulaic sequence seems to be the equivalent of behaviorism.
摘要：众所周知，法律语言作为一种具有规约性的语言分支，有其独特的语言风格特点。
Abstract: it's all known that legal language is a kind of customary language, which includes words, phrases and modes of expression with its unique style.
众所周知，法律语言作为一种具有规约性的语言分支，有其独特的语言风格特点。
It's all known that legal language is a kind of customary language, which includes words, phrases and modes of expression with its unique style.
规约性渗透至语言使用的不同方面，体现为多个层面上的形式共选。
Conventionality prevails into every aspect of language use and co-selection is going on at multiple levels.
标准Modbus规约文档。Modbus协议是应用于电子控制器上的一种通用语言。
Modbus protocol is applied to an electronic controller on the lingua franca.
标准Modbus规约文档。Modbus协议是应用于电子控制器上的一种通用语言。
Modbus protocol is applied to an electronic controller on the lingua franca.
应用推荐