通过对GIS应用系统的分析，设计出一种简易的GIS软件规格描述语言GASL。
Through the domain analysis of GIS application system, this paper designed a simple specification language for GIS application system, named GASL.
本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。
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规格的机械算法。
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.
应用推荐