您要查找的是不是：
- It suppli- es a Requirements Specification Language RSL. 它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。
- WSDL is derived from Microsoft's Simple Object Access Protocol (SOAP) and IBM's Network Accessible Service Specification Language (NASSL). WSDL源于微软的简单对象访问协议（SOAP）和IBM的网络可访问服务规范语言（NASSL）。
- The workflow specification language is given, it formalizes the workflow model. 最后给出一个工作流规范说明语言，它形式化了我们提出的工作流模型。
- Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets. 过去的机制包括文档风格语义和规范语言以及级联版式。
- PSL is processed specification language, which can extents to foundational theories according to users' demand. 摘要PSL是面向制造业信息集成的过程规范语言，用户可根据需求对其基本理论进行扩展。
- PSL is processed specification language,which can extents to foundational theories according to users' demand. PSL是面向制造业信息集成的过程规范语言,用户可根据需求对其基本理论进行扩展。
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
- Knowledge structures allow us to access specific items of knowledge efficiently. 知识结构使我们能有效的访问特定的知识项目。
- This dissertation develops an OPC DataAccess Server in terms of OPC Data Access Specification which can beconnected with any OPC client and the server can be applied to CAN field buscontrol system. 本论文通过研究OPC数据存取规范，开发了符合OPC规范的OPC数据访问服务器，实现了与第三方客户端软件的无缝连接，并在CAN总线控制系统中进行了应用实验验证。
- This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. 使用扩展的持续时间演算 ( EDC)模型 ;给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .
- Abstract: LOTOS is a specification language that aims at describing the dynamic behavior of complex systems （formal description language）. 摘 要: LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。
- Most applications that consume data need to access specific records that satisfy some kind of criteria. 大多数使用数据的应用程序需要访问满足某种条件的特定记录。
- Describes the role assignments that control how users or groups access specific items on a report server. 介绍控制用户和组如何访问报表服务器上的特定项的角色分配。
- Stemmer behavior is defined based on stemming rules of each specific language. 词干分析器的行为是根据每种具体语言的词干确定规则定义的。
- Interactions between components are described using a specific language (ISL). 使用特定的一种语言(ISL)来描述组件之间的交互。
- The next section will give more details on the contents of a glyph slot and how to access specific glyph information (including metrics). 下一部分将给出字形槽内容的更多细节,以及如何访问特定的字形信息(包括度量)。
- If not explicitly changed by an administrator, the default names make it easy for administrators using Caspol. Exe to access specific code groups across policies and computers. 如果管理员没有进行显式更改;则该默认名称使管理员可以很容易地使用Caspol.;exe访问策略和计算机上的特定代码组。
- Whereas when using the Dashboard, the user usually wants to access specific functionality and might not want to interrupt his or her workflow on other activities. 然而当用部件板的时候，使用者通常想要用访问某个特定功能，可能并不想要中断他或她在其他活动的工作流程。
- First,an algebraic specification language ASL based on abstract datatype is introdIiced,then a forn1aI transformation metliod of specification written in ASL intoPROLOG is introduced. 首先给出了一种基于抽象数据类型的代数规格说明语言ASL：然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法；
- A book containing the morphologic, syntactic, and semantic rules for a specific language. 语法书某种语言的词法规则，句法规则和语义规则的书
