IDL is a specification language.
IDL是一种规范语言。
It also demands much more stringent use of the specification language.
它还要求对规范语言的更严格的使用。
XQuery combines the flexibility of the XPath specification language to extract individual elements with the ability to easily define functions, loops and programmable elements.
XQuery 将XPath规范语言提取单个元素的灵活性与易于定义函数、循环和可编程元素的能力结合在一起。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
Specification patterns are design patterns that are expressed in a formal specification language.
规约模式就是用某种形式化语言表示的设计模式。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
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 article presents attack tree model to describe the attacking scenario. Based on the principle of attack tree model, an attack specification language is constructed.
该文采用攻击树模型来模拟攻击行为，并提出了一个基于攻击树模型原理的攻击规范语言。
The goal oriented specification language KAOS is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirement specification.
将面向目标的规约语言（KAOS）进行扩展，增加了策略模型，建立支持面向多目标的基于动态策略的适应性需求规约方法。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
It points out that ATLAS 2k is the next generation test specification language based on signal component. The paper introduces its character, module architecture and application in modern ATS design.
指出基于信号组件的ATLAS2k是新一代测试标准语言，详细介绍了它的特点、模型结构及在现代ATS设计中的应用。
Assert checks of Property Specification Language (PSL) are used to verify functions of the controller to decrease verification complexity and enhance verification quality and speed.
采用基于属性描述语言(psl)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。
Assert checks of Property Specification Language (PSL) are used to verify functions of the controller to decrease verification complexity and enhance verification quality and speed.
采用基于属性描述语言(psl)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。
应用推荐