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规格的机械算法。
Through the domain analysis of GIS application system, this paper designed a simple specification language for GIS application system, named GASL.
通过对GIS应用系统的分析，设计出一种简易的GIS软件规格描述语言GASL。
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理论。
A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。
The data model, the form defining language, the application specification language andaset of software tools in a form-oriented application developing system(FADS)are de-scribed.
讨论FADS系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。
TTCN-3 is a flexible and powerful language applicable to the specification of all types of reactive system tests over a variety of communication interfaces.
TTCN - 3是一种灵活而强大的语言，可以用于定义在多种通讯接口上进行的各种类型的交互式系统测试。
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.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
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.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
应用推荐