您要查找的是不是：
- 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. 語法書某種語言的詞法規則，句法規則和語義規則的書
