A translating system of the jsd-oriented specification language 一个面向JSD方法的规格说明语言转换系统
A Prototype Translation System from the Specification of Algebraic Language into ML 代数语言规约的ML原型翻译系统
According to the Functional Requirements for Community Health Service, the system specification is described formally with Z language. The specification includes basic data, system status and system operations. 通过对社区卫生服务的功能需求出发,采用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。
This paper presents the architecture of a network intrusion detection system based on common standard, describes the intrusion specification language through the instance, and analyze the inside communication mechanism and procedure interface standard. 文章详细描述了基于通用入侵规范下网络入侵检测系统的体系结构,通过实例说明了入侵描述语言,深入剖析通用入侵规范下的内部通信机制及其程序接口规范。