... 系统规范说明（书） system specification 系统规范说明语言 system specification language 系统过程程序库 system procedure library ...
双语例句
1
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规格的机械算法。
2
Through the domain analysis of GIS application system, this paper designed a simple specificationlanguage for GIS application system, named GASL.
通过对GIS应用系统的分析，设计出一种简易的GIS软件规格描述语言GASL。
3
The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.