1) canonical word order
规范语序
2) LOTOS Language of Temporal Ordering Specification
时间排序规范语言
3) temporal specification
时序规范
1.
In this paper, we use temporal specification for describing the properties of reactive, real-time systems.
针对反应式实时系统,我们使用时序规范来描述系统性质。
4) program specification
程序规范
1.
In this paper, we introduce a theoretic model of ADRS system that is used for automatic detection and revision of program specifications.
文中介绍了一个程序规范自动检测与修正系统ＡＤＲＳ的理论模型。
5) procedure norm
程序规范
1.
As far as its content is concerned,anti-trust Law includes entity norm and procedure norm,consisting of immunities items and foreign M&A items.
就内容而言,反垄断法对企业合并的规制应包括实体规范和程序规范两类,其中不乏豁免条款和有关外资并购的法律规定。
6) regularize the procedures
规范程序
补充资料：语序
1.语言里语素﹑词组合的次序。为汉语里的主要语法手段。语序变动﹐可组成意义不同的词组﹑句子。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条