您要查找的是不是：
- 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. 词干分析器的行为是根据每种具体语言的词干确定规则定义的。
- Routine office work is my bread and butter. 日常的办公室工作是我的谋生之道。
- Interactions between components are described using a specific language (ISL). 使用特定的一种语言(ISL)来描述组件之间的交互。
- She is a receptionist in a doctor's office. 她在一位医生的诊所中担任接待员。
- 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标准的映射。
- He is gunned down in the street outside his office. 他在他办公室外的街上被枪杀。
- Every day he rode his old bicycle to his office. 每天他骑着他那辆旧自行车去上班。
- The sale office is on line to the warehouse. 营业部与仓库的计算机联网。
- Note: To download a specific language pack, select the target language from the drop-down on the right. 注意:若要下载特定的语言包,请从右边的下拉列表中选择目标语言。
