您要查找的是不是：
- 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. 注意:若要下載特定的語言包,請從右邊的下拉列表中選擇目標語言。
