A Requirements Specification Language(RSL) for Network Parallel Environments 一个面向网络并行环境的需求规约语言
An Embedded Real-Time Software Oriented Requirements Specification Language(RSL) and Checking Methods 面向嵌入式实时软件的需求规约语言及检测方法
Requirements from Internet of mapping process planning specification language to IDL and XML standards were also discussed. 同时,探讨了网络时代的工艺计划描述语言的网络化特点,即与分布式对象接口标准和XML标准的映射。
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语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等。
In order to accommodate the requirements of agent oriented technology developments and associated system designs, the significant meanings, both in theoretical and practical view, to put forward a formal specification language based on agent oriented programming ( AOP ) paradigm is analyzed. 为了适应面向Agent技术的发展及其系统设计的需求,提出一种基于面向Agent程序设计(AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。