This paper provided an approach to derive RTTC from TRSL specification,which was a variant of RSL(RAISE specification language).
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
By specifying security protocols using Common Authentication Protocol Specification Language,then convert CAPSL specification into formal inputs for other analysis tools by connector.
提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也方便了安全协议分析者。
Using what king of expression style should depend on news content and column and also should follow one basic principle that is language norm.
但都不能违背一个基本原则,即语言规范,表述清楚,并符合受众审美需求。
The paper primarily discusses the problems on influential discourse and language norm.
本文主要讨论权势话语与语言规范问题。
The paper points out that though these theoretical bases can somewhat explain the language norm, they are at a lower level and have some deviations and limitations.
语言规范的原则可以大别为二 ,一个是理性原则 ,一个是习性原则。
To solve these problems, it should start from several aspectsas: change people s conception of the language standard; make statute about language writing; enhance the research of the standard.
大学生书信形式活泼、内容丰富,但在字、词、语法、格式以及标点符号等方面存在着很多问题,这些问题的产生有主观原因,也有客观原因,要解决这些问题,应该从以下几个方面入手:给语言文字立法、加强规范的研究以及改变人们对语言规范的认识。
Contradiction and consistency between language variations and language norms;
论变异语言与规范语言的矛盾统一性
The Distinction between Language and Speech (Langue et Parole) and the Standardization of Language and Words;
语言和言语的区分与语言文字规范化
postcontrol information searching language
后规范化情报检索语言
Public Security Languages Standardization on 3 Essentials of Language;
从语言三要素浅析公安语言的规范化
A Study of the Norm for Media Language through an Analysis of the Cross-style Language in News;
从跨体式新闻语言看传媒语言的规范
Use and Criteria of Lingual Method in Physical Education Teaching;
体育教学中语言法的运用及语言规范
The Variation of Network Language and the Standardization of Modern Chinese Language
网络语言变异现象与现代汉语语言规范
The flexibility of norm in English communication;
英语使用规范在语言交流中的弹性化
The Type, Character and Criterion of Words in the Network Language;
谈网络语言的语词类型、特点及规范
Chinese Standardization and Teaching of Modern Chinese;
语言文字规范化与“现代汉语”教学
The Literature Languages Break through the Standard Use of Grammar
试论文学作品语言对语法规范的突破
Simplicity of language is not only reputable, but perhaps even sacred.
简练的语言，不仅合乎语言规范，同时也是庄重的。
RESEARCH ON THE PRINCIPLES AND METHODS OF LANGUAGE STANDARDIZATION FROM THE POLISH OF LANGUAGE;
从语言的锤炼看语言规范的原则和方法
An Analysis of the Negative Effect of the Ad. Terms on the Standard of the Spoken and Written Language;
析广告语言对语言文字规范的消极影响
On the Rolling Forms of Language Development and the Basic Principles of Language Normalization;
论语言发展的滚动模式与语言规范的基本原则
The Current Language Situation and standardization of Mandarin Employment in Bingtuan
兵团语言生活现状与语言文字规范工作
observing conventional sexual mores in speech or behavior or dress.
在言语、行为或穿着上注意性规范的。
The standardizations of language changes in different stages are different.
语言演变不同阶段的变异规范度不同。
