您要查找的是不是：
- It suppli- es a Requirements Specification Language RSL. 它提供了一個(gè)需求說(shuō)明語(yǔ)言 RSL,用戶(hù)可以用它描述數據及應用需求。
- The workflow specification language is given, it formalizes the workflow model. 最后給出一個(gè)工作流規范說(shuō)明語(yǔ)言，它形式化了我們提出的工作流模型。
- Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets. 過(guò)去的機制包括文檔風(fēng)格語(yǔ)義和規范語(yǔ)言以及級聯(lián)版式。
- PSL is processed specification language, which can extents to foundational theories according to users' demand. 摘要PSL是面向制造業(yè)信息集成的過(guò)程規范語(yǔ)言，用戶(hù)可根據需求對其基本理論進(jìn)行擴展。
- PSL is processed specification language,which can extents to foundational theories according to users' demand. PSL是面向制造業(yè)信息集成的過(guò)程規范語(yǔ)言,用戶(hù)可根據需求對其基本理論進(jìn)行擴展。
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一個(gè)確認系統：這就是說(shuō)，它的語(yǔ)言綜合了支持工具和一個(gè)定理證明器。
- This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. 使用擴展的持續時(shí)間演算 ( EDC)模型 ;給出了時(shí)間化的 RAISE描述語(yǔ)言 ( RSL )的一個(gè)子集的指稱(chēng)語(yǔ)義 .
- WSDL is derived from Microsoft's Simple Object Access Protocol (SOAP) and IBM's Network Accessible Service Specification Language (NASSL). WSDL源于微軟的簡(jiǎn)單對象訪(fǎng)問(wèn)協(xié)議（SOAP）和IBM的網(wǎng)絡(luò )可訪(fǎng)問(wèn)服務(wù)規范語(yǔ)言（NASSL）。
- Abstract: LOTOS is a specification language that aims at describing the dynamic behavior of complex systems （formal description language）. 摘 要: LOTOS主要是用來(lái)描述復雜系統動(dòng)態(tài)性的說(shuō)明語(yǔ)言（形式描述語(yǔ)言），是可操作的。
- Stemmer behavior is defined based on stemming rules of each specific language. 詞干分析器的行為是根據每種具體語(yǔ)言的詞干確定規則定義的。
- Routine office work is my bread and butter. 日常的辦公室工作是我的謀生之道。
- Interactions between components are described using a specific language (ISL). 使用特定的一種語(yǔ)言(ISL)來(lái)描述組件之間的交互。
- 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. 首先給出了一種基于抽象數據類(lèi)型的代數規格說(shuō)明語(yǔ)言ASL：然后介紹了由ASL描述的規格說(shuō)明到PROLOG轉換 的形式化方法；
- A book containing the morphologic, syntactic, and semantic rules for a specific language. 語(yǔ)法書(shū)某種語(yǔ)言的詞法規則，句法規則和語(yǔ)義規則的書(shū)
- 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. 同時(shí)，探討了網(wǎng)絡(luò )時(shí)代的工藝計劃描述語(yǔ)言的網(wǎng)絡(luò )化特點(diǎn)，即與分布式對象接口標準和XML標準的映射。
- He is gunned down in the street outside his office. 他在他辦公室外的街上被槍殺。
- Every day he rode his old bicycle to his office. 每天他騎著(zhù)他那輛舊自行車(chē)去上班。
- The sale office is on line to the warehouse. 營(yíng)業(yè)部與倉庫的計算機聯(lián)網(wǎng)。
- Note: To download a specific language pack, select the target language from the drop-down on the right. 注意:若要下載特定的語(yǔ)言包,請從右邊的下拉列表中選擇目標語(yǔ)言。
