1) temporal specification
时序规范
1.
In this paper, we use temporal specification for describing the properties of reactive, real-time systems.
针对反应式实时系统,我们使用时序规范来描述系统性质。
2) LOTOS Language of Temporal Ordering Specification
时间排序规范语言
3) 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.
文中介绍了一个程序规范自动检测与修正系统ＡＤＲＳ的理论模型。
4) 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.
就内容而言,反垄断法对企业合并的规制应包括实体规范和程序规范两类,其中不乏豁免条款和有关外资并购的法律规定。
5) regularize the procedures
规范程序
6) canonical word order
规范语序
补充资料：时序女神
时序女神(horae)：宙斯和忒弥斯诸女，
欧诺弥亚(eunomia）秩序女神
狄刻(dike)公正女神
厄瑞涅(eirene）和平女神.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条