The work of the paper is to research on the generation system of requirement specification based on restricted Chinese description.
本文的工作就是研究基于受限汉语描述的需求规约生成系统。
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规格的机械算法。
The reusable asset management system, which is based on reusable asset specification presented by OMG, implements the functions of asset description, asset storage and asset retrieval.
可复用资产管理系统以对象管理组织（OMG）提出的可复用资产规约为理论依据，实现对企业内可复用资产的描述、存储和检索等功能。
Polynomial representation has been proven as an effective technique for representing both high-level specification and system-level description of an implementation.
在高级规范和系统级描述上，运用多项式理论来解决高层次综合问题已经被证实是一种有效的技术。
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.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
应用推荐