您要查找的是不是：
- It suppli- es a Requirements Specification Language RSL. 它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。
- 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是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
- This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. 使用扩展的持续时间演算 ( EDC)模型 ;给出了时间化的 RAISE描述语言 ( 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）。
- Abstract: LOTOS is a specification language that aims at describing the dynamic behavior of complex systems （formal description language）. 摘 要: LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。
- Stemmer behavior is defined based on stemming rules of each specific language. 词干分析器的行为是根据每种具体语言的词干确定规则定义的。
- Interactions between components are described using a specific language (ISL). 使用特定的一种语言(ISL)来描述组件之间的交互。
- Language teaching is both a science and art. 语文教学既是一门科学又是一种艺术。
- 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. 语法书某种语言的词法规则，句法规则和语义规则的书
- And then some rules for developing the specification language were proposed.Requirements from Internet of mapping process planning specification language to IDL and XML standards were also discussed. 同时，探讨了网络时代的工艺计划描述语言的网络化特点，即与分布式对象接口标准和XML标准的映射。
- Note: To download a specific language pack, select the target language from the drop-down on the right. 注意:若要下载特定的语言包,请从右边的下拉列表中选择目标语言。
- On one end of the spectrum are powerful frameworks such as Hoare logic, algebraic specification languages, modal logics, and denotational semantics. 在涉及面的一端是强大的框架，像Hoare逻辑、代数规范语言、模型逻辑和形式语义学。
- Since an application proxy needs to communicate on behalf of the sender, it needs to understand the specific language or protocols associated with a particular application. 由于应用程序代理需要代表发送者进行通信，所以它需要懂得与特定应用程序相连的具体语言或协议。
- Can you give me a price list with specification? 你能否给我一份有规格说明的价目单吗？
- Daily practice is the trick in learning a foreign language. 每天练习是学会一门外语的诀窍。
