In this paper, we use temporal specification for describing the properties of reactive, real-time systems.
针对反应式实时系统，我们使用时序规范来描述系统性质。
In order to facilitate users to specify the temporal specification at the time of authoring a multimedia program, a composition model is needed.
为了方便用户编制大型多媒体系统的时序描述，组合模型是必须的。
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。
A dynamic grey temporal system (DGTS) and a grey temporal security policy specification Ianguage (GTSL) based on the dynamic semantics of DGTS are presented in this paper.
本文详细描述了DGTS，以及基于DGTS的动态语义设计的灰色时序安全策略规范语言gtsl。
The specification of an information system consists of a set of static constraints, a set of operation descriptions and a set of temporal constraints.
信息系统说明包括静态限制、运算说明和时序限制。
The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.
本文呈现了我们构造的形式化灰色时序安全策略规范语言（GTSL）。 GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediar.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
Language of Temporal Ordering Specification?
时间排序规范语言LOTOS ？
Language of Temporal Ordering Specification?
时间排序规范语言LOTOS ？
应用推荐